@smallcircles Yup agree with that. Open VSX is a nice solution and I'd love to see it gain traction. I might give it another try too. Used to use Theia a few years ago as an online/remote ide which worked fine but then I stopped when vscode had remote development.