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