antihl pseudos and pseudo should be unique

[nim65s]

In some case, if user_a.pseudo = @alub , and user_b wants to highlight user_a and confuse everybody, he can set user_b.antihl = @alub , which basically breaks everything, including most regroup strategies.

Any resemblance to real and actual names is purely coincidental.