Improved index.html (again).