In Web GUI, when displaying list of users in a Group, make sort order case insensitive

Calling this a feature though this could be described as a bug too.

• NC version - issue is same on all recent versions from 18.x onward to 21.x today
• Current situation:
  • In the main web gui for managing users there is some pointless(?) variety in users sort order as shown below - makes managing users harder than it needs to be. The ordering of users when viewing full table is by username case insensitive, while when looking at users in groups it is username case sensitive. Not helpful all, given that NC manages userids case insensitively (NC treats userid SomeUser same as userid SOMEUSER).
• Change wanted
  • Make the list of users who are member of a particular group to be sorted by username, case insensitive
• Note
  • In an ideal world that GUI would also include ability to sort list dynamically by clicking the column headings. Though that would be a lot more work. Proposed change is easy with excellent payback for anyone using functionality like Group Folders

Listing: All users
Typical URL: https://somehostname.com/index.php/settings/users
Sort order: by username, case insensitive

Listing: users who are members of a particular Group (say "SomeGroupName")
Typical URL: https://somehostname.com//index.php/settings/users/SomeGroupName
Sort order: by username, case sensitive

Start at the group-member listing entry point shown in the issue: /index.php/settings/users/SomeGroupName, and compare it with the all-users listing at /index.php/settings/users. Trace where each listing applies username ordering. Done means group members use case-insensitive username sorting consistently with the full user table.