edit openpgp.js