> Harold, we're running genuine Listserv. And your solution sounds
> wonderful, except (always a gotcha): userids on the old system and the
> new are often not the same (e.g., in "real" life I was ACDNRP on one and
> NRPARDEE on the other). In some cases, we would route mail to the wrong
> address since Joe Smith had jsmith on one but Jane Smith on the other.
> Any other ideas?
It's this problem, which we've also had recently, that makes me
wish for a straightforward change address command in LISTSERV.