Fix github link in index.html.