Treat different capitalizations as unique names

[kbs666]

I already explained this.

If AB is a topic name and ab, Ab and aB are distinct names then anyone who creates a topic that might use any of those forms has to create those all as alternative names and going forward after such a change was made any new use of existing names where users are used to mixing capitalizations without issue would have issues.