/doc/bugs/Using_a_revoked_GPG_key/