Comment by Hendrikto 6 hours ago I use these all the time. They are great. 1 comment Hendrikto Reply Gormo 2 hours ago Same, in conjunction with some of the format conversion tools that come with Ghostscript, and PDFgrep (https://pdfgrep.org/).
Gormo 2 hours ago Same, in conjunction with some of the format conversion tools that come with Ghostscript, and PDFgrep (https://pdfgrep.org/).
Same, in conjunction with some of the format conversion tools that come with Ghostscript, and PDFgrep (https://pdfgrep.org/).