today i learned, github publishes everyone’s public keys at https://github.com/username.keys.

very handy for bootstrapping a machine.

mine