Make sorting case-insensitive [finishes #81225236]