PGP User's Guide, Volume II: Special Topics -- "Not quite deleted" files