Hmm, you may be talking about me. Oops.

Really though, having the ability to ignore _bots_ would be quite useful, a lot of noise comes from bots that might be useful to some of my coworkers, but not others, even in the same channel.

And also ignoring highlights from particular people too