ChatGPT-4 seems to be pretty good at taking the flawed output of OCR and producing the corrected text.