git-diff.txt: Link to git-difftool