[kspaans]

Tried `git grep`? It's a nearly full grep, and will ignore things that aren't tracked in the repo.