## Problem to solve We are currently injecting the Web IDE (VS Code Server) into the workspace during its creation and providing an entry point for making edits that offers a solid editing experience in the browser. However, developer tooling is a very individual thing and productivity can hinge on the availability of IDE-specific functionality. ## Proposal Let desktop IDEs connect to a workspace via SSH to use the remote environment for compute while leveraging the local IDE's functionality. ## Open questions 1. How do we go about exposing the connection? 2. What needs to run in the workspace to enable the connection from the desktop IDE? 3. Do we need to be running VS Code Server or JetBrains Gateway in the workspace in order for those IDEs to connect (assumption is yes) 4. Do we need to support an "editor-less" workspace that simply offers an SSH connection? What benefit does that offer?