First go at documentation for debug2html.