Various improvements to the index.html