On its website, Discord explains the steps you can take to ignore a user. It involves clicking on their avatar - either right click on the web version or tapping it on mobile. For the mobile version, ...