I don't think I have to reiterate the rule in every single report. You know already very well. If a player abuses you, use /ignore. If he continues even after that, use /report. If that's out of control, like in multiple joins, then you may only report on forum.
However, they're verbally warned.
Thanks for reporting!