@aral So. Then why not make it a fun demonym? I get it. "People" is humanizing the end-user; the contributor. But this is a community and self-identifying as a community is just as important as how you self-identify.
"There are 42 Mastors online." We are the 'masters' of our community.