What's the best way to edit remote configuration files locally? | Hacker News Reader