¡Hola a todos!
Me acabo de dar cuenta de que todas las menciones se vuelven grises, por lo que la mención de un usuario podría pasar desapercibida si se encuentra en una lista bastante grande de menciones (a veces sucede):
Sería muy útil tener la propia mención de uno coloreada de manera diferente, como en Slack:
¿Hay alguna solución o me estoy perdiendo algo? ¡Gracias!
El usuario mencionado (como era de esperar) recibe una notificación de todos modos, por lo que podrá ver si ha sido mencionado. Nunca me he perdido una notificación de mención.
Los usuarios también pueden ver todas sus menciones aquí
https://your.discoursesite-name/my/notifications/mentions
¡Gracias, @ondrej! Todo suena razonable, pero el otro día tuve una situación en la que un usuario no se dio cuenta de que lo habían mencionado porque su nombre de usuario era “user99999” 
Probablemente sea un caso bastante raro, pero aun así, sería bueno que el nombre de usuario de alguien destacara en una publicación.
