pdfgrep (pypi): a grep tool for pdf files
Keywords: pdf