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