Thanks to all, I will file a bug report, as Will suggested.
> Please reply directly to me, as well as the list. I am now receiving only > about 10% of mail from the list, and have to go to the archives for the > rest. (I still haven't received any mail on this thread except for my own posts. But that is an improvement.) -- -- ED -- -- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]