Update to latest pdf.js

it’s not just a matter of pdf.js, which we will eventually update.

Follow this FR: