Play VS Code: Remote Development with SSH, VMs, and WSL