Re: removing files from history but not filesystem

Another possible way would be to create a temporary branch to point at
HEAD^, filter-branch it, then add a graft to stitch the remaining commit
on top of it, then filter-branch HEAD and then remove the branch. But
this is a bit advanced for the case where you just want to omit one
commit.

That should have been "[...] and then remove the _graft_." (and the
temporary branch).

Regards,
  Chris