Updated the readme. Can't set up the configuration in the example project though, because VSCode doesn't save settings in the repo by default.

Thanks! Merging.

Nit: does not look like changing the setting and restarting the server picks them up.
Reloading the window does.
At least in debug mode. Haven't tried if it's the same when installing the .vsix file

You mean when restarting via the restart command recently added?

You mean when restarting via the restart command recently added?

yes

Or I guess the more general question is: why polling. If one needs to restart anyway.
Maybe having to restart is not bad, and one can make everything simpler and remove the polling logic.

Hmm, I don't need to restart anything, polling works fine for me as I tested. How are you testing it?

What I've tried is: change the setting, then ask the server to restart.

Don't know what else to test without restarting the entire editor.

Ahh, I think I know the issue. I'll fix it.

Done here:#438