ALL: HTML output now works for all tools. The test has been extended
accordingly.