Keep index.html updated with GithubDocSync