Re: Making PGP distribution key well-known