Re-use already existing benchmarks for the html version