Followup to my 12/20/00 post--
I've tried setting up a redirection rule again. With nothing different from
what I was doing 3 months ago, now redirection is working. Don't know why
it wasn't working then (or why the guy who was helping me test it said it
wasn't working when it maybe was), but it is now.
The one aspect I wasn't expecting (but should have) was that it does leave a
copy in the original destination mailbox.
Please forgive my frustration-sparked snarky manner in the previous post.