4 ms·

Wonderful! pdfgrep is good but slow.

• phiresky 6y ago
  pdfgrep has a --cache option since a while ago :) Not sure why they don't enable it by default. Still, this is much faster.