Wenn man nur eine Info bekommt, wenn der Name verlinkt wird, würde es ja reichen, den Namen als einfachen Text zu schreiben, um das zu verhindern.
Und wenn auch über nicht-verlinkte Nennungen eine Info rausginge, möchte ich nicht wissen, wie oft User eine Benachrichtigung bekämen, die zufällig den gleichen Nick haben wie irgendein(e) sehr aktive(r) Forenschreiber(in), nur ohne eine bestimmte Zahl am Ende.
Das zur allgemeinen Funktion.
Was den Nutzen einer solchen Funktion angeht: Die Spielregeln verbieten ja nicht umsonst Hexenjagden bzw. Nennungen bestimmter User im negativen Kontext. Als Mod sehe ich mich da in der Pflicht, das zu überwachen, und würde ggf. entsprechende Nennungen löschen. Als normales Mitglied kann ich natürlich nicht in allen Gruppen mitlesen und muss daher auf die jeweiligen Gruppenmods vertrauen. Inwieweit das seit der Gruppenliberalisierung noch angebracht ist, sei dahingestellt; es gibt ja so einige, die mit den Spielregeln nicht besonders gut vertraut sind. Andererseits hat es immer Mittel und Wege gegeben, über jemand Bestimmten zu sprechen, auch ohne dessen Namen explizit zu nennen, sodass der Bezug völlig klar war. Insofern halte ich die Funktion nicht für sonderlich nutzbringend.