A bit of a tangent, but does anyone know of a good utility that can index a large number of PDF files so one can do fast keyword searches across all of them simultaneously (free or paid)? It seems like this sort of utility used to be very common 15 years ago, but local search has kind of died on the vine.