[MOD] `order by` is again stable by default.