[MOD] `order by` is again stable by default.
Merge pull request #728 from LeoWoerteler/stable-default

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