>>>> "Andrew" == Andrew Haley
> Are there any drawbacks to fixing it?
Andrew> Not much. A slight loss of speed.
Yeah, just to clarify my earlier statement -- I think we want to fix
it. We just ran out of time in this release cycle. Or to put it
another way, there were more important things to do.