User labels: Upper-/lowercase not consistent across interface

[WLamotte]

When adding labels to users of a course, the treatment of case (upper/lower) is not consistent across the UI. E.g. I used the labels "HI", "BI" and "WIS" to denote the 3 different groups of students in my course. Note that all my labels are written fully in uppercase.

In the list of course members, these labels are shown as capitalized lowercase, as shown in the following screenshot:

When choosing a label with the button "Labels bewerken" in the page of one specific user, the list of labels is fully lowercase, as shown here:

It would be best to preserve the case as entered by the user, across the UI.

[jorg-vr]

@bmesuere why did we choose to downcase all labels in our database?

[jorg-vr]

solution: allow casing in database, but do case insensitive matching