Okay. this can work for us, but I do have one question.
What happens if a user has a category muted (not a topic) and their username is tagged in a topic created in this category? Do they get notified or not?
Thank you for helping me make sense of this.