If I try to modify a tag "Check" (chaptalized) to be "check" (only lowercase letters), when saving, HotCRP undoes my change, reverting the lowercase version to the original capitalized version.
The workaround: remove "Check", save, and only then add "check".
If I try to modify a tag "Check" (chaptalized) to be "check" (only lowercase letters), when saving, HotCRP undoes my change, reverting the lowercase version to the original capitalized version.
The workaround: remove "Check", save, and only then add "check".