Documentation/git-filter-branch: teach "rm" instead of "update-index --remove"