Mute is an AdBlock filter list for hiding user comments in contexts where they are not the primary focus.