Update pdf.js
Clean-up TODO