extractpdfmark: extractpdfmark (extract page mode and named destinations from PDF)
extractpdfmark:
extractpdfmark: extractpdfmark extracts page mode, named destinations, etc. from PDF
extractpdfmark: files produced by TeX.  This protects these PDF marks from Ghostscript
extractpdfmark: in the process of using Ghostscript to reduce PDF file size, which may
extractpdfmark: otherwise be very large when the PDF is comprised of many small PDFs,
extractpdfmark: each embedding the same full font sets.
extractpdfmark:
extractpdfmark:
extractpdfmark:
extractpdfmark: