PGP User's Guide, Volume I: Essential Topics -- Setting parameters in the PGP configuration file