Tags not case-sensitive

[nus-pe-bot]

Tags are not case sensitive, not mentioned in User Guide, as such possible duplicate entries can be added.

---

_{[original: nus-cs2103-AY1920S1/pe-interim#2552]}

[Kyzure]

Team's Response

Hello, thank you for your bug report.

We would accept the fact that it is indeed a documentation error as such information is not represented in our user guide.

However, we do not believe that this is a duplicate entry, as there is still a difference, which some users may want a non-case-sensitive duplicates.

Some people may prefer to use their tags such as:

comedy and cOmEDy to indicate the difference between a non-satirical and satirical tag.

Nonetheless

We hope you continue to enjoy using Horo.

Duplicate status (if any):

Duplicate of #924