Known Vulnerabilities in OpenPGP.js 1.5.7