S sourcegraph.com How OpenVSCode Server turns VS Code into a web IDE 159 points thunderbong 5 years ago 32 comments