I have configured SSH with `UpdateHostKeys yes` and got a message about the SSH key for github.com (ECDSA) and the respective IP address (RSA) mismatching. I a

I have configured SSH with `UpdateHostKeys yes` and got a message about the SSH key for github.com (ECDSA) and the respective IP address (RSA) mismatching. I assume that GitHub did not serve traffic on the IP address in question for me in the last while, while it formerly did. So I only have the RSA key for the IP, but the new ECDSA (and the RSA) for the hostname - causing the mismatch. I could fix this without removing any stored host keys from my known hosts by manually connecting to the IP address. This caused my SSH client to grab all the other host keys due to `UpdateHostKeys yes`. Afterwards connecting to github.com as usual worked like it should.