On: Show HN: I built a simple, open-source tool to manage servers and SSH keys

[plingbang]

That's a good point. Moreover, someone built[1] an SSH server that prints your name when you connect (because GitHub publishes SSH public keys of every user):

    ssh whoami.filippo.io

[1]: https://words.filippo.io/ssh-whoami-filippo-io/