Pet: rating nomask

[IngvarJackal]

$pet rating isn't masking nicknames of all in-chat users:
Minoru: $pet rating
horta hell: Minoru:
zxc: 169PTC
e…: 23PTC
ForNeVeR: 9PTC

[ForNeVeR]

Need to research that. I think that may be not a bug of antihighlighter but a bug of user detector. Sometimes due to server issues (or due to room actor death) it can lose information about users in the room.

[Minoru]

So let it always mask the nicknames.

One other situation it will take care of: sometimes when I join the room I will be highlighted right away, cause there's $pet rating output in the backlog with my nick in it.