grep --no-index: don't use git standard exclusions