Followup regarding parallel_stable_sort from boost #219
Description
see #215, boostorg/sort#54, #218
Due to a segfault in the indexer, we switched the parallel sorting algorithm in #218 at least until the root cause has been found. parallel_stable_sort uses less memory according to the documentation. However we haven't run the 2 in a benchmark. Revisit when the root cause got fixed.