Re: [Python-ideas] a sorting protocol dunder method?