Known Vulnerabilities in OpenPGP.js 4.0.0