Known Vulnerabilities in OpenPGP.js 0.2.0