Do the muted users persist in appearing in your push notifications?