Remove old "git-grep.sh" remnants