Add PGP instructions