Yeah I agree, we never thought tags should be case sensitive, it was somewhat from the laziness when implementing tag pane. We went through the thought process above and decided to just show them separately.
So yeah, they shouldāve been case-insensitive if we had sorted out this issue back then.