>>>>> "Tim" == Tim Peters <tim.one@home.com> writes: Tim> [Guido] >> I would prefer to document the difference so applications can decide >> how to deal with this. Tim> Yup! Submitted as patch #426598, assigned to Dr. Doc (aka Fred). Skip