Well, Discord has now added a feature appropriately called Ignore, so you can do just that. Ignore is basically a mute feature ... then click the three-dotted Menu icon, and click the Ignore ...