Enriching the legacy literature with OCR corrections and text-mined semantic metadata.