[hexa00]

That's what you can do with Theia, a backend (headless Theia) running anywhere and you connect via remote web UI or an electron app.

Theia does use some vscode components like the LSP or the json-rpc lib, but it is NOT a repackaged vscode. It is it's own IDE unlike Sourcegraph I think

[colemickens]

Yeah, that's what I'd deduced. Leveraging full VS Code has advantages though, in terms of an already existing, large ecosystem.