Yes, that looks terrific.  May I ask what your source language was?  I'm guessing that it was TeX or LaTeX, but I don't see it checked in.  In any case, how hard would it have been to incorporate metadata that could be included in your HTML automatically?  We can always update the generated HTML after the fact, but automatically producing the right thing is even better.