Also, from what I can tell, the old key somehow seems sprinkled among a lot of Github-owned IP addresses in my known_hosts file as well, not just github.com. I'm not sure how that happened though.