Yes, we do. `pdf.js` is the minified version (which we serve), and `pdf.full.js` is the (renamed) original. 

It'd be clearer to serve the minified versions as `script.min.js`, but all of the script files reference each other by name, so naming them as `script.min.js` means we need a post-build step that found and replaced all of the references inside the scripts--not too hard but it adds another possible point of failure.