Was technology the right approach here? Is it essentially done now? I couldn’t tell if it was completed entirely.

I can’t help but think a few amateur humans could have read the pdf with their eyes and written the markdown by hand if the OCR was a little sketchy.

It's still in progress! It's looong - about a thousand pages. There's an ebook, but the printed book got more editing.