Yes, the intention of the manual is indeed to guarantee that sorted
is stable and indeed that it uses exactly the same algorithm as the sort
method. I do realize that the docs aren’t 100% clear about this identity; doc patches are always happily accepted!