Is this a new feature on the bot? I do not think it is a new feature because I think I have been seeing the ignore on the bot since last year or more than last year.
Even if I am not correct, the recent update about the bot was the new design and not about ignoring users. If this is not new, why bring it up?
Anyone that is using the bot can easily see the ignore user.
Is not new and the thread is not about informing people that it is new, is just an advice because some people forget to ignore annoying users that they have already ignored on the forum on their notifier Bot, and when you only ignore the user only on the forum you can still receive notifications when ever they mention you so to avoid getting pissed off and removing them on ignore list to start another argument is best you ignore them on the forum and your notifier Bot.
Is just an advise, some people may have known or have the idea but some may have not.