[tz] [PATCH 2/3] Convert Theory file to HTML