Just discovered that when I mute a server, the mute follows accounts that migrate away from the server, which is the opposite of what I want