In particular, the HostName line is what allows
ssh <instance>.<location>.<project>?
Sim. Se sua configuração ssh tiver uma linha HostName <ip address> para uma estrofe Host somealias específica, o DNS não será usado quando você ssh somealias .
Observe que também é possível especificar um FQDN para o HostName
Host abc
HostName alpha.beta.nonexistent.com
Nesse caso, o DNS é usado, mas no HostName , não no Host alias. No entanto, não é relevante para sua configuração.