Wow, grazie mille!
Devo dire che questa è la prima funzionalità in Discourse che trovo davvero controintuitiva.
Per me, il modo più naturale sarebbe andare sul profilo dell’utente e silenziarlo lì (proprio come fa Twitter), non il contrario.
Comunque, almeno funziona. Quindi grazie per la tua risposta!