https://wp.jochen.hayek.name/blog-en/2024/03/13/how-do-you-copy-the-public-key-to-an-ssh-server-ssh-copy-id/