OpenPGP keys used by OpenSSH
