Yeah I'm really glad GitHub finally has functioning code search (how many years did it take?), but I don't like being forced to use it for simple stuff. It's slow and doesn't include source code or documentation that's not on GitHub. I don't always know in advance whether the answer to my query lives in GitHub or not...