Make termlist sorting stable. Terms with same frequency are now sorted by
their display name. This makes a pretty display and improves our
Make termlist sorting stable. Terms with same frequency are now sorted by
their display name. This makes a pretty display and improves our