It’s been a while, but i’ve created a tool that makes it easier to save an alias to your “.ssh/config” file called ssh-save-id.

https://github.com/vjanssens/ssh-save-alias