Removes TODO: cat known_hosts. Since github is the only required known host at this point for all projects, this is not an issue.