documentation fix: git difftool uses diff tools, not merge tools.