BUR #26509 has been rejected.
create alias mario -> mario_(nintendo)
remove alias mario -> mario_(nintendo)
deprecate mario
For some reason, the tag for Nintendo's Mario received special treatment that makes it free of any qualifiers, despite now there are plenty of other characters named "Mario" like Mario (PriPara) for example. So I think it should be finally be qualified once and for all.
Also, as a side notes, I think the tag for Mario's various other costumes like Mario (Hakama) or Mario (Halloween) need a massive clean-up by adding qualifier behind it, otherwise people would mistaken it for another franchise qualifier, but I think that's for another time.