Hi! This is an incredible project. I'm just curious, you mention that crocodoc has been "consulted" for this project.

Did you ask them how they do their HTML5 conversion or what exactly do you mean by that?

Anyway, a big Thanks for creating this project!