Resurrect "git grep --no-index"