I support removing this setting, but I worry that we are giving admins no easy avenue to set all users to mute specific categories historically. This makes it particularly difficult when you add a category and want it default muted.
How do you feel about providing admins with some UX here? In particular:
- Admin adds a category to
default_categories_muted(same for watched etc) - We detect … oh something changed…
- Would you like all existing users to have “category X” muted?
- Would you like to remove the category mute from N users?
I like this cause this provide a very clean way for admins to deal with this problem and it has happened countless times now on meta. With this in place I would love to nuke that category setting.