Maybe if you want to discuss this further, you can also just create a group DM with all mods or a group DM with all admins. Either way, there are means of acting civil with other users even the ones whom you may dislike. Like, just ignore them. Do not provoke. Again, this can be further...