[williamstein]

Instead you can use https://github.com/coder/code-server, which is really vscode running in your browser. You then get all extensions, etc.