A melhor solução (ou seja, mais próxima do que eu quero) eu poderia encontrar é usar a opção HostKeyAlias : ele irá usar um nome de host que eu especificar para acessar known_hosts (em vez do IP ao qual estou me conectando) .
Vou precisar adicionar a chave pública do host a known_hosts usando um determinado nome de host (por exemplo: myhost ) e então conectar-me a ele usando:
ssh -o 'HostKeyAlias myhost' ...