@icey wicey 1517
For reasons of consistency, the merge should really be the other way around. We did alias Mane 6, and Mane 7 into Mane Six and Mane Seven, after all.
The only serious issue with that would be the trouble of having to redo the implications attributed to Mane 6 and 7 since they won’t transfer if the tags are aliased.