minor edits to git.html