Comment by Hendrikto Comment by Hendrikto 6 hours ago 1 reply Copy Link View on Hacker News I use these all the time. They are great.
Copy Link Gormo an hour ago Collapse Comment - Same, in conjunction with some of the format conversion tools that come with Ghostscript, and PDFgrep (https://pdfgrep.org/). Reply View | 0 replies
Same, in conjunction with some of the format conversion tools that come with Ghostscript, and PDFgrep (https://pdfgrep.org/).