michaelg/dev: links for git2tet-gif