Currently, users can create projects/repos/trackers/etc with names differing only in case, which can be confusing. Don't allow this.