Salut tout le monde !
Je viens de réaliser que toutes les mentions deviennent grises, donc la mention d’un utilisateur peut passer inaperçue si elle se trouve dans une liste assez longue de mentions (cela arrive parfois) :
Ce serait vraiment pratique d’avoir sa propre mention colorée différemment, comme sur Slack :
Y a-t-il une solution, ou est-ce que je rate quelque chose ? Merci !
L’utilisateur mentionné (comme on peut s’y attendre) reçoit de toute façon une notification afin de pouvoir voir s’il a été mentionné. Je n’ai jamais manqué une notification de mention.
Les utilisateurs peuvent également voir toutes leurs mentions ici
https://your.discoursesite-name/my/notifications/mentions
Merci, @ondrej ! Tout cela semble raisonnable, mais j’ai eu une situation l’autre jour où un utilisateur n’a pas réalisé qu’il était mentionné car son nom d’utilisateur était « user99999 » 
C’est probablement un cas assez rare, mais ce serait tout de même bien que le nom d’utilisateur d’une personne ressorte dans un message.
