We now sort lists of users ids deterministically, and we also sort list of emails deterministically and without regard to case. This probably fixes the bug #2343, although I never got a great repro on that.