Re: [Python-Dev] Deprecated __cmp__ and total ordering