miscellaneous commands for PDF and PDF font metadata; supplement to PDF-Tools