PGP User's Guide, Volume II: Special Topics -- PAGER: selects shell command to display plaintext output