git-filter-branch: more detailed USAGE