It would be a much stronger restriction than they're looking for. If no developer at Amazon, Google, etc. is allowed to even use Elasticsearch, that severely impairs the viability of the project. (Depending on the revenue threshold, it could end up being a problem for Elastic too - they're not exactly a small company.)