@Tekage what made you believe the report was a joke though? Sure, people who are familiar with each other do pretend to use the plugin as such but an actual report is practically never filled, as to avoid this exact situation.
Looking through chat, it would seem no one was implying such unless it was done over mic. Which, correct me if I am wrong, Jerseydevil either does not have or does not use.
Despite the chat messages directing players to the usage of admin chat, the calladmin plugin is just a much more well known fix to any solution for those that play the game, be it on these servers or others. We can try to shove information in their faces as much as we desire, but using a calladmin will always be the go to solution for many by default. When someone has a legitimate concern, there is little reason for a staff member to treat the in game messages received from the bot any differently from messages sent to admin chat.
Now I do find it unlikely Jeresydevil has not ran into val before due to how often he has played the server, or that he was unaware that staff were on. Were this the case or not though, it doesn't change that he very well could have believed that val was hacking and so far there is nothing proving otherwise beyond assumption. So, far now i'll give this a +1 for an unban.