Ask HN: How do you manage SSH known_hosts? | Hacker News Reader