Thank you. It works as you describe.
Apologies, I can’t reproduce my earlier findings.
A muted category will not be shown in /categories and in the parent category. I can live with that, since it is still possible to link to it via # and topics within it will be shown via search.