pdfgrep: Pdfgrep is a tool to search text in PDF files. It works
pdfgrep: similar to `grep'.
pdfgrep: 
pdfgrep: * Features
pdfgrep:  - search for regular expressions.
pdfgrep:  - support for some important grep options, including:
pdfgrep:     + filename output.
pdfgrep:     + page number output.
pdfgrep:     + optional case insensitivity.
pdfgrep:     + count occurrences.
pdfgrep:  - and the most important feature: color output!
