OpenPGP.js: pull in Jae's decryption fix