[armedbear-devel] Patch with improvements to stable-sort and sort