zZzzZ.

Delete git-difftool.1.gz?