Nun, es scheint, dass diese Funktion für Power-User bereits existiert!
Persönlich würde ich mir eine benutzerspezifische Einstellung wünschen, um dies zu steuern (mit einem website-weiten Standard) mit den folgenden Optionen:
-
Keine Benachrichtigung für eine @Erwähnung - vielleicht stattdessen ein kleiner blauer Punkt?
-
Eine einzelne Benachrichtigung für eine @Erwähnung - was ich für den Standard halten würde
-
Thema auf “Watching” gesetzt für eine @Erwähnung - aktuelles (leicht aggressives) Kernverhalten