Question about request types.

[MaboroshiChan]

I am not very clear what do commands like info, sync and complete exactly do to the server. Comments are missing in the server.ts file.

[bryangingechen]

There is some more documentation here which may be helpful: https://github.com/leanprover-community/lean/blob/master/doc/widget_server.md