I see. So if I'm connected to 3 relays, and I mute someone, that information is updated on those three relays. So what if the after that I add 3 new relays? Is it slowly propagated, or do I have to mute the user again? Is there a way to check who I've muted, to "manage" the list?