“There are 1.8 million developers in the United States, with 200,000 in software companies, 600,000 in other tech companies, and 1 million in non-tech enterprises.”