Understanding remote development in VS Code