Indeed, and they have this tool https://github.com/cdr/code-server which is pretty much like vscode in a web browser launched through a potential remote server. Is Theia any better?