PGP User's Guide, Volume I: Essential Topics -- Revoking a public key