> Is VSCode involved in provisioning these dev servers, or do you just point it to an SSH endpoint? In our setup there is a web version of VSCode which you can

> Is VSCode involved in provisioning these dev servers, or do you just point it to an SSH endpoint? In our setup there is a web version of VSCode which you can run from a browser (that implies provisioning, yes), but I don't like it and prefer to connect to the remote box from my desktop VSCode, via SSH.