Making PGP distribution key well-known