A magical command made for such situations is called /ignore.
Also grow up...stop tagging the community manager for such non-sense, admins exist for a reason. Managers are there for when you are not satisfied with a staff member's behavior, be it in game or when responding to forum topics. Dismissing this complaint, you don't like a player's behavior, you type /ignore (Player ID).
Admin actions will be taken in situations where prohibited words are used only or if a player is being toxic to the community en-mass.
It's not our duty to waste our time in such quarrels that could be solved with 1 command. If further behavior continues from any of you, this will escalate further.