PGP User's Guide, Volume II: Special Topics -- KEEPBINARY: keep binary ciphertext files after decrypting