We had a fake-alphabetic-order in the past that basically sorted by 'canonical short character name' (offline name for non-Puppets, otherwise screenname), but the display name was different. This discrepancy has been fixed - i.e. display names still behave as they used to, but the list is truly alphabetic now.