2 ms·

I print to pdf and name the file the title of the document. Everything else has failed in some way for me and pdfgrep works well enough.