Am 14.02.2020 um 22:48 schrieb Tim Allison:
Let me know if this is of any interest to you and/or if there are other bug trackers we should add.
Sorry if this was already mentioned... The PDF.js bugtracker at github https://github.com/mozilla/pdf.js/issues/ , and the old poppler bugtracker https://bugs.freedesktop.org/show_bug.cgi?id=30688(It is now at gitlab, but I think you wrote somewhere that you can't scrap from there)
Tilman
