I've been following Theia for years (hi GitPod people), though mostly lost interest when vscode started being browser accessible, and back when they were using that old UI stack.

But I'm confused, how does this compare with code-server, or openvscode-server?

I use the latter in a web browser to do fully remote dev on my beefy machine hooked up to Google Fiber.

It kind of seems like this isn't something I need to consider, unless I wanted to ship my own custom white-labeled IDE. (Which... Nah, and why?)