Making better use of the ssh-config output