Oops, sorry for sending that to the whole mailing list.

Someday, someone will invent a "REPLY" button that does not produce surprises...