But this is already far better if you use code server [1] because you get your extensions/compilers/etc. running on the same host This particular implementatio

But this is already far better if you use code server [1] because you get your extensions/compilers/etc. running on the same host This particular implementation (opening local files via browser) sounds rather useless. [1] https://github.com/cdr/code-server https://github.com/cdr/code-server