rgcr··on Show HN: I built a simple, open-source tool to manage servers and SSH keysPersonally I prefer to manage my ssh config file manually and I like the way 'stormssh' shows the list of hosts and the options.https://github.com/emre/storm