Use othree/html5
Update gitconfig for newer versions of git