This seems to be almost exactly what I have been looking for.
But, there is just one small thing I would have liked to add:
I want mail to non-existent, or deleted, or removed, users to also be
forwarded to this user's manager, to prevent important e-mail to be
missed. Is that easy to add?
yes. You can add it in the alias, which is simplest:
deadlogin: "|correct-addr deadlogin", deadlogin-manager
Or, in the line of "correct-addr.rc" which reads:
| formail -A"Cc: $NEWADDR ($NEWUSER)"
you can add another CC: header indicating the manager.
How you derive the manager is up to you.
___________________________________________________________
Alan Stebbens <aks(_at_)sgi(_dot_)com> http://reality.sgi.com/aks