A password manager for browsers, using OpenPGP.js