Comment 5 for bug 1058445

Note to self: we probably will not keep mailman in sync with django users by default, florian's going to open a new bug for perhaps making syncing optional.