No hard feelings. Well, Discord has now added a feature appropriately called Ignore, so you can do just that. Ignore is basically a mute feature. It lets you mute someone who's annoying or ...