extractor.py should ignore already extracted PDFs #38
Description
As of now, the extractor will run on all qualified PDFs, even ones that have already been extracted.
As we incrementally add newly released files, re-extracting them again is a waste of time.