Allow @mention notifications in muted topics?

[mcwumbly (Dave McClure)]

My gut says you’re right.

But there may be a little archaeology to do before we make any changes here to better understand the rationale for the current design so we take that into account.