I suspect this doesn't matter too much for now, though thinking about it, I guess that I'd have expected user joined/left messages from the worker to be giving us the full user details, not just the id.

I think that's optional for implementing here.