[IllIlIIllI]

> I've tried GitPod (VSCode based) recently and found it very stable and useful. Maybe I'll go with that.

Then you've tried Theia, it seems: https://www.gitpod.io/docs/ide/

[haolez]

Cool! It works really well. Drop-in replacement of VSCode for me.