Documentation for PGP

Obsolete documentation removed.