Update pgp.tex