Ask HN: Does Anyone Know What Text Editor Digital Ocean Use? | Hacker News Reader