update docs to reflect latest headline speed increase

The BFG deletes a file out of the IntelliJ repo about 720x faster than
git-filter-branch.