Well that seemed to erase the "red dot without number" problem, but it still see...

		antris on April 20, 2021 \| parent \| context \| favorite \| on: Discord ends deal talks with Microsoft Well that seemed to erase the "red dot without number" problem, but it still seems I get "red dot with number" that I have to go manually clear even when it's obvious that nobody has mentioned me. Anyway, thanks for the tip

Notifications for deleted messages do not get rolled back.