How many Linux users are there in the community anyway?