That's correct. I don't think we should blame the PDF.js devs either.