Comment by yzzxy

This is a big enough project to justify a bespoke wiki-style system. Perhaps a thesis project for someone, along with tooling to convert existing content from TAOCP. Get some kind of grant to cover employing CS-literate undergrads on a UROP project to do the more difficult data entry and QA.