git-filter-branch: document --original option