PGP User's Guide, Volume I: Essential Topics -- Removing a key or user ID from your key ring