Okay, *this* time I'm intentionally sending a personal message to the list.
Boris, I just sent you private email, but I'm posting this as
well because the last message I sent you apparently fell into
a black hole in the net or something. So this is a diagnostic:
if you see this post but not the private message, we know there's
a delivery problem other than a one-time glitch.
-- Glenn
