I suppose that https://github.com/mozilla/pdf.js/pull/4726/files#r12239463 applies here as well, which should be nicer, so I'll update this too.