clean pdf2htmlEX.js