Known Vulnerabilities in OpenPGP.js 0.4.1