Aggregated fixes to index.html