https://blog.paulcoding.com/posts/ssh-alias/