The article was modified to "— more than 3,000 actively working on the codebase".