#TIL you can use `ssh-copy-id user@domain` to copy your ssh public key to a server.
@abraham @timo21 how the hell did I not know this? I’ve been a Linux sysadmin for like 25 years.