> When I was junior I used to buy this explanation, but 9,000 developers is probably more then are actually working on huge projects like Linux

They don't have 9000 developers, they have 9000 employees.