> Date: Mon, 14 Nov 2005 18:58:56 -0800 > From: Jim Blandy <jimb@red-bean.com> > > Do folks agree that this is what that meant to say? If we're not sure > what it means, we should take it out. I'm not familiar with history, but your conclusions sound plausible.