(...) I posted a long reply to the list when Todd, earlier today, sent out a note talking about whether this was a good idea or not. I said I thought it was but that more discussion was needed. That's moot now and this post is intended to (...) (26 years ago, 4-Nov-98, to lugnet.robotics)
Thanks to timezone weirdness, my reply acknowledging the merge shows up with a timestamp earlier than the post it's replying to, as well as (...) (26 years ago, 5-Nov-98, to lugnet.robotics)
