This is the source code being distributed on the PGP web page.
