Il semble y avoir un problème de cache avec le bouton normal/muet/ignorer dans le profil. Si je l’utilise pour passer un utilisateur « normal » à « muet », tous les autres utilisateurs apparaissent également comme muets dans leur profil. Le rechargement du profil concerné (F5) résout le problème.
Exemple
Utilisateur #1, paramètre actuel « normal » :
Changement en « muet » :
Ouvrir le profil de l’Utilisateur #2, également « muet », bien qu’il ne le soit pas :
Le rechargement du profil résout le problème :
Découvert avec Discourse 2.5.0, Chrome 83.