diff-tree doc: correct & remove wrong documentation