I'm wondering if there is a common solution to list people in a room when using multi-instance setup? I have the impression redis only knows how many servers are subscribed to a channel but not how many users? thank you