Re: [Python-Dev] Notice of intent: rich comparisons