A simple drop-in solution to allow players to ignore other players. This exists because the vanilla mute won't work on NoChatReports servers.
