pdfgrep (as a command line utility) is pretty great if one simply needs to search text in PDF files https://pdfgrep.org/