@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.
Gregory's Server