PGP User's Guide, Volume II: Special Topics -- Trademarks, copyrights, and warranties