@aral You're presuming "users" doesn't include bots. "Participants", perhaps.

I don't see what the kerfuffle is about calling users users.