PGP User's Guide, Volume I: Essential Topics -- Managing keys