This is PDF.js from
https://github.com/mozilla/pdf.js/releases/download/v5.4.394


        Makarius
        16-Nov-2025
