Same as above (https://github.com/mozilla/pdf.js/pull/4452/files#r10630247).