Remove index.html, update compilers’ results