2 ms·+1 -- after trying several tool sets over years, pdfgrep is currently used daily around hereby mistrial9 4y ago+1 -- after trying several tool sets over years, pdfgrep is currently used daily around here