On Jun 4, 2009, at 7:51 PM, Dave Thomas wrote: > And I'm happy to concede that, if in the general case, it harms > performance, > it should probably go. If performance turns out to be a real concern, we can disable it unless the two or three options that need it are specified. -- -- Jim Weirich -- jim.weirich at gmail.com