Tool used while rendering Mu's codebase in html. See the mu/update_html script.

Extremely hacky; just see the number of tests.