@evan
Yes, generally because it's a learning opportunity. If not for them, then for others.
But... if muting a person who isn't a troll, but just too much, then quietly muting is kinder