More work on index2.html.