Add a second sorting criterium after the provider quality, so entries from the same backend are sorted in a stable way between launches, instead of being almost random.