[Python-Dev] Re: Why list.sort() uses mergesort and not timsort?