I didn't get all the details as to how but those pages were done using some sort of machine learning pipeline to take a raw page plus a translation and try to typeset it. Clearly the tech is, uh, in its infancy. That said, it did take less than 10 minutes to make each of those pages lolI can't believe page 13, 24 were done in 10 minutes
Maybe that's why it's N/A at the end