Yeah, I'd bet on https://about.sourcegraph.com. Fully focused on code search and are still light years ahead.