The following name is on our team's mailing list. I don't recognize him,
and he hasn't responded to a message I sent. Does anyone know him? If
not, I'll remove him from the list until I hear from him. (Apologies,
David, if *I* know you, and am blanking on who you are.)
David (davidmac mit edu)
-- Eric