user list?

[Tim Allison]

Should I open an infra ticket to add a user@list? If so, any
preference for user@ or users@?

Thank you.

Best,

        Tim