Known Vulnerabilities in OpenPGP.js 1.0.1