If they give me the option to mute someone (or in this case, something), that's not Slack policing anything. It's simply them enabling me to mute distractions. As I mentioned too, most of the others see no problem with the bot. They actually enjoy it. So muting it for myself would be preferable.

If Slack allowed me to ignore others, then I would be accountable for missing any important messages. I am okay with having that responsibility.