Comment by TimeBearingDown

I’m probably missing the point: doesn’t https://pdfgrep.org solve this problem?