Do we serve a minified version of pdf.js?