Thanks, I’ve just checked it.
Didn’t realize when I first looked at the page, that I had to press a button called “Normal” and that then a popup would appear. I’ve totally cannot deduce from this UI neither that a popup would appear, nor that this would lead me to an action to mute the user.
Now that I know this information, I will use it in the future.