Ask HN: How do you easily manage multiple remote servers? | Hacker News Reader