TIL you can access all known SSH public keys by GitHub with the following: curl https://github.com/<username>.keys. Useful to append those to `authorized_keys. For instance:

$ curl https://github.com/gquetel.keys
ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIAKdb082uVrUeJFYQpgyaNG0aBqZFEPUzgYjBoK/LUPr
ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAINL71Lp5AIPb7TftAtD1CB7+ovR6OYTZGeo0H2TItn7u
ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIAV1XXDx04Firt1jOBwc3xQbPgEIoH8N0rUT6DsHmkuK