Re: PGP bug *NOT* yet fixed