Sembra esserci un problema di caching con il pulsante normale/muto/ignorato nel profilo.
Se lo uso per cambiare un utente da “normale” a “muto”, tutti gli altri utenti vengono mostrati come muti nel loro profilo. Ricaricando l’altro profilo (F5) il problema viene risolto.
Esempio
Utente #1, impostazione corrente “normale”:
Cambio a “muto”:
Apri il profilo dell’Utente #2, anche lui “muto”, anche se non lo è:
Ricaricare il profilo risolve il problema:
Rilevato con Discourse 2.5.0, Chrome 83.