Also, regarding Microsoft/GitHub code search's distribution advantage for companies whose code is already all on GitHub.com: 1. That means our product needs to

Also, regarding Microsoft/GitHub code search's distribution advantage for companies whose code is already all on GitHub.com: 1. That means our product needs to be even better, and we're up for that challenge! Devs thankfully have a lot of choice over what tools they use, and a better product that devs demand will thrive even in the face of a Microsoft/GitHub distribution advantage. 2. Sourcegraph has plenty of advantages, too: we're 100% focused on this (vs. it just being one of Microsoft/GitHub's many features), our customers are extremely sophisticated eng teams with heavy usage who help us see and build the future of code search, we address a much larger market (not just companies with code exclusively on GitHub.com), etc. 3. Not all the world's code is on GitHub.com. Far from it! And thank goodness. GitLab, Bitbucket, and tons of other code hosts exist, which means that Microsoft/GitHub doesn't have a monopoly. Let's keep it that way. 4. To the extent Microsoft/GitHub has a distribution advantage for code on GitHub.com, that makes it all the more important to keep the competitive pressure on Microsoft/GitHub so they don't get complacent and exploit their advantage in one area (code hosting) to dominate another area. So even if you're using GitHub code search today, root for more competition!