Rename Benchmark to Benchmark.html