Improve instrumentation scripts to write HTML files.