Assegnate 1 su 5 stelle

It appears that PDFpick.com, which this search tool depends on, is no longer operating.

Does that make this tool less than useless? :)