# See syntax in https://www.ssh.com/ssh/config/ and `man ssh_config`