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