For the record, my original decision was to let it slide. This was more hassle than it was worth and I saw it coming a mile away, because it happens every single time I do this. Try to be the nice person, no one wants me to be nice, people freak out because I'm not nice.
I understand that Mii names are a small thing to penalize. I would have much preferred warning someone to change it for future, I did warn ARC and I was planning to leave it at that. At the same time, the rules say I gotta take points, and there was enough of us up above that told me I need to follow the rules, which I also understand. It's my job. We need rules for the sake of fair play. As Nato said, this exact issue came up last season with Power/P2, and that's the foundation that this decision was made on.
I understand both sides, I genuinely do, but this one was a collective staff decision and one that I regrettably have to follow suit with.