Remote machine settings

When connected to a remote workspace, you can configure settings that apply to the current remote machine.

Unlike workspace settings, these apply to any project you open on that remote. Works in ssh, WSL, and dev containers.