Use the potentially faster sort instead of stable_sort

I don't see why insertion order would be relevant for rendering, there
is no deliberate influence on it by mappers. Add an explanatory comment
why different sort keys are used.