Wikipedia:Muting difficult users

The unfortunate truth about editing the online encyclopedia where everyone can edit is that there are difficult users who act like trolls. If you encounter one, it is best to avoid them, but simply ignoring them is not always easy. You may try to avoid them, but you may keep encountering them over and over, because they are following you around, or you have an overlapping topic of interest. It is a good idea to report them to Wikipedia:Administrators' noticeboard/Incidents, but if that is not applicable for whatever reason or they do not get blocked from editing, it is a good idea to just mute them so they can not continue ruin the fun of editing Wikipedia for you.