Update index.html via github.com web UI.