User blog comment:The Completionist/What function does the ignore list have, and does anybody actually use the mute button?/@comment-4530717-20130928162051

Only in extreme cases, I actually think that people who get muted frequently should get banned for 3 days or something.