[Timothee]

Good callout!

I looked at my `~/.ssh/known_hosts` file and that key is associated with a few IP addresses in addition to github.com. Those lines stayed after I ran `ssh-keygen -R github.com`.

I imagine that I also need to remove those other lines manually, but isn't that something that GitHub should have mentioned? I'm not sure in which circumstances these got added either…

[bravetraveler]

Same here, found the two following IPs with the same hostkey:

    - 192.30.253.112
    - 140.82.114.3

WHOIS shows github ownership, just not sure when/how/why I got these