Martin Fleck

@xpomul I was also mostly out but will have a look at this some time this week, thank you!

As part of this we may also consider https://github.com/eclipse-glsp/glsp/issues/481

@tsmaeder As far as I can tell this is more of a "follow-up" of https://github.com/eclipse-theia/theia/pull/14186