Thanks for the pointer. It looks to me like git-grep's behavior is 
better than grep's, so I installed the attached.