Shouldn't these tags be merged?
I think this question deserves an answer, but AviD already wrote all there is to say in a comment. So I will just copy paste it here:
In principle you are completely correct, however on consideration it is (as of right now) a useless tag to begin with (as are the other tags created for that question), so I just retagged the question (and closed it, but that is unrelated). Since those tags are now unused, they should get auto-removed by the garbage collector...