Welcome to Codidact Meta!
Codidact Meta is the meta-discussion site for the Codidact community network and the Codidact software. Whether you have bug reports or feature requests, support questions or rule discussions that touch the whole network – this is the site for you.
Post History
I think tags should be case-preserving and also case-independent. By this I mean: I do not want us to have two tags that differ only in capitalization, because I think that will lead to errors and...
Answer
#1: Initial revision
I think tags should be case-*preserving* and also case-*independent*. By this I mean: I do not want us to have two tags that differ only in capitalization, because I think that will lead to errors and confusion. (If you need tags for "apple" the fruit and "Apple" the company on the same site, find some other way to distinguish them.) If there's a technical benefit to pushing them all to lowercase in the database that's fine. But it should be permissible to capitalize proper names for presentation. As a user I would find it a little puzzling for tags to allow other character sets (like Hebrew or Kanji) but *not* allow capital letters in the Roman alphabet. And we do currently allow other character sets.