Terminal animated gif, Git tutorial, HTML header