#22237: document that sorted() is guaranteed to be stable.  Initial patch by Martin Panter.