@yc, I think jani's comment there might have been about this bug. The bug he commented on seems to have been about even worse differences, fixed at the time.
@yc, I think jani's comment there might have been about this bug. The bug he commented on seems to have been about even worse differences, fixed at the time.