This is useful but I hope not-OCRing PDFs does not become the norm because of it. My local city council doesn't ocr their minutes, but they do OCR "archived min

This is useful but I hope not-OCRing PDFs does not become the norm because of it. My local city council doesn't ocr their minutes, but they do OCR "archived minutes" (3+ years old). So if you want to do a search for some specific topic they may have discussed more recently, you're shit outta luck. The Firefox thing seems useful, this other thing just annoys me and this seems like the appropriate outlet to complain about it.