Re: PGP key revocation