Fixes broken openpgp.min.js