PDFDateString
This code is old enough that it pre-dates availability of private class fields, hence why this wasn't done originally.
export
license_header
pdf.scripting.js