Looks like the message in [`WorkDoneProgressEnd`](https://microsoft.github.io/language-server-protocol/specifications/specification-current/#workDoneProgressEnd) is ignored by the client (at least VSCode), It would be nice to display this message in some sort of form.
Looks like the message in
WorkDoneProgressEndis ignored by the client (at least VSCode),It would be nice to display this message in some sort of form.