Sourcegraph CEO here. Thanks for the kind words! Ben here is just being modest...searchcode is fantastic. It has come in handy in many crucial moments when I couldn't find the code I needed anywhere else. Here's a link for those who aren't familiar with it: https://searchcode.com/.