The attempt to make sorting stable in commit
28698f35
was broken because there may be pairs of items that can't be compared,
and list.sort() relies on < transitivity.