A fork of PDF.js for personal hacking