Mozilla at least at one point had 1,000 and is and always was chronically underfunded. 4,000 seems about reasonable. Keep in mind it's not 4,000 engineers, it's PMs, managers, UX, Infra, there's a lot more to software development that just line engineers.