Let me get this straight, the command-line interface for googling code in a locally cloned GitHub repo is called grep?