We should use `git-filter-tree` instead of ad-hoc filtering.
We should use
git-filter-treeinstead of ad-hoc filtering.