I don’t think it’s fair to say that you need “infinite budget” to pay $100 per month? I pay more for several products and have a quite limited budget. But tools making me more productive or help my business is definitely worth to pay for.
100 USD per developer per month is 1/2 of our whole infrastructure cost at my company.
You could get GitHub enterprise seats for 1/4 of that.
Dealing with sales, contracts and licenses also has some non-zero opportunity costs.
For which products do you pay more than 100$ in license cost per month and developer? I only know prices like these for fairly specific niches, like development environments for very specific hardware/FPGA, or sophisticated physics simulation software. But this is a code search&navigation tool - a nice one, I'll admit, but still. That's 4x the price for GitLab Premium. Almost 2x of the whole Adobe Creative Suite.
There's life outside the United States, and $100/month is a decent chunk of a junior's salary in many parts of that. Two places I worked at migrated off Microsoft products to FOSS solutions for that reason alone (I was fortunate enough to initiate and complete this process for one of them) — something that has zero business sense according to most HN commenters.
Does it make you and all your peers $100 more productive each? Sounds a bit of stretch to me for code search. I don't even think I need to do a code search that bitbucket/GitHub/gitlab search aren't able to provide me every month. To be honest, I don't even think I'd be less productive even without those. Although they are helpful when discussing code that you don't have in your ide at the moment with other people.