Uncommented some old code in index.html.