[Python-ideas] Re: dict.sort()?