(I'm aware you can clone the repo and search it locally, but that somewhat defeats the point - especially for large projects.)