Mir ist gerade aufgefallen, dass alle Erwähnungen grau werden. Daher könnte eine eigene Erwähnung eines Benutzers unbemerkt bleiben, wenn sie sich in einer ziemlich großen Liste von Erwähnungen befindet (manchmal passiert das):
Der erwähnte Benutzer erhält (wie zu erwarten) trotzdem eine Benachrichtigung, sodass er sehen kann, ob er erwähnt wurde. Ich habe noch nie eine Erwähnungsbenachrichtigung verpasst.
Benutzer können hier auch alle ihre Erwähnungen sehen https://your.discoursesite-name/my/notifications/mentions
Danke, @ondrej! Das klingt alles vernünftig, aber ich hatte neulich eine Situation, in der ein Benutzer nicht bemerkte, dass er erwähnt wurde, da sein Benutzername „user99999“ lautete
Das ist wahrscheinlich ein sehr seltener Fall, aber es wäre trotzdem schön, wenn der Benutzername eines Benutzers in einem Beitrag hervorstechen würde.