Re: [cctbxbb] Unstable platform-dependent sort order for flex.sort_permutation