ssh/config: more SSH hosts.