A couple of weeks ago, Microsoft released an extension for Visual Studio Code
[https://marketplace.visualstudio.com/items?itemName=ms-vscode-remote.vscode-remote-extensionpack]
which enables Remote development. Remote development, what's that? Is it to
develop