Great feature! It seems a little weird to have a completely separate page for this per comment, though. Is there a technical reason this couldn't work inside the dropdown? Or is this temporary?
Good question! This first release was quicker to code up. The settings page gives us room to add more settings in the future if we want.
Muting will probably move into the drop-down directly.
We're a place where coders share, stay up-to-date and grow their careers.
We strive for transparency and don't collect excess data.