FYI. I don’t like for these things to go unclosed on the mailing list (or to be e-mailed only directly on such items).