I see. In this case I think I would use a subcategory setup instead tag.
Parent category for users topics.
Subcategory for bot topics.
Then you can Watching First Post the parent category and Muted the subcategory.
But others maybe have a better idea. ![]()