Comment by tbenst

Thanks for the response! So does vscode.dev, but it doesn’t support “Remote - SSH.” Could you confirm if this specific extension is functional?

To expand, for Remote - SSH to fully function it must read a ~/.ssh/config file as well.