Sourcegraph CEO here. We're going to do a big source release soon. Then this should all be easier. We're growing quickly and pushing out a lot of product releases soon and have been busy on those. Email is in my profile if you really want to figure it out, and I can direct you to the right person to help.