node add (and server add, mirror peer, patroni init) is usually given an
address, while the ssh config names the machine: `Host gpu01` with
`HostName 10.0.0.21` and the User, IdentityFile or ProxyJump it needs. That
block did not match the address, so the address had to be added to its
Host line by hand. Now the concrete Host names in the config and its
Includes are read, ssh -G says each one's HostName, and the first that is
the address (or resolves to it) is connected through.
Under sudo, the caller's name is now a fallback: a User in the config's
block for the machine comes first.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
