Welcome to Smogon! Take a moment to read the Introduction to Smogon for a run-down on everything Smogon, and make sure you take some time to read the global rules.
I think that rule is completely unfair to people who don't have AR like me, and since more people can RNG abuse the number of people who don't have it have sharply increased :/
Are those names you posted going to be the names of their accounts once they re-register? Please confirm that or give me the account names of both if those are not it. I'll add them as soon as you do so.