Git: remove git filter scripts (unused as of a few commits ago)