https://paulfedorov.blog/2020/01/how-to-copy-public-ssh-key/