The tagging system has an option for suggesting a synonym, which is sort of a "soft merge" between two tags. It turns everything in one tag, to be named as another tag.
Is there some [semi-]official guide as to how synonyms work? More specifically, how do I know which tag is going to be swallowed into the other?