BUG?: Are TAGs case sensitive? ('org-agenda-show-tags')

[David Masterson]

I have been using upper-case TAGs and just noticed that
'org-agenda-show-tags' is reporting them in lower-case which is not
right since I have another TAG that is the lower-case version of the
upper-case TAG (sort of a visual importance indicator).
-- 
David Masterson