It is generally assumed that the community of Linux kernel developers comprises 5000 or 6000 members.
一般假定Linux内核开发者社区由5000或6000名成员组成。