Digitizing paper with OCR remains highly people intensive | Dark Hacker News