Re: A hole in PGP