@gargron
There are arguments for both. I think, it's
mute != nuke
If someone has serious trouble with just reading a name, i think, in this case the situation needs special care.