Document --quiet option to git-diff