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