benchmark.html: reindent