UPDATE: Okay so it turns out I *can* block the user and then it removes all their notifications. I thought you can't block users on servers, only users in the DM window, because I checked every menu and didn't find it. It turns out you have to, specifically, *right click* on the *username* and then THAT menu has "block". Oops
...though this is another problem with Discord, which is many safety and other important features seem to be in "hidden" menus such as this * _ *
https://unstable.systems/@demize/109434290009852518
@[email protected] does blocking a user not stop them from pinging you? I know that blocking users on discord is a bad solution to every safety problem but I didn’t realize it was *that* bad
@mcc right click the server icon and mark as read can clear all pings and unreads from a server. Works per channel too.
But yeah there's a bunch of wacky stuff around pings. Editing a message can't change the ping (say if you @ the wrong Max) and deleting a message doesn't remove it.
Been that way for years

@mcc ohshit THAT is probably what's causing the weird "phantom" notifications I've gotten on Discord for a while now. I never made the connection.
As someone who runs a small Discord server for fandom purposes, do you know if there are any particular settings I might change to mitigate this? We don't often have problems with trolls or users with irreconcilable differences, but the former are quickly ousted and the latter has happened on occasion, would like it to be a more comfortable place for them to remain by just blocking each other.