git-filter-branch. Possible new home for git-filter-branch; let's see if anyone else has better ideas where we should stick it