Delete pgp.html