This is no more the case at the moment.
Muted categories now are grouped and hidden in a box at the bottom of the category page. Do you guys know a way to go back to the old behavior where muted categories are still listed in the category page?
Thank you!