One ssh server name with multiple host keys

This happens often if the server name is actually backed by multiple real machines.

1. Edit known_hosts to add # at the start of the 'old' entry in known_hosts temporarily
2. Connect [ssh to the host], agree to the prompt to add the new key 'automatically'
3. Then re-edit known_hosts to remove the #