Hacker News Reader

Any particular reason why they forked VSCode and not Theia?

Nobody uses Theia, relatively speaking.

This sounds like exactly the kind of thing Theia would be useful for. It's easier than a straight up fork of VSCode.