Making index.html more download-and-run friendly for first time checkout...

....