Interesting; I honestly never considered this scenario. There is no way to prevent the state where both mute and follow are true (since the user can use a different client to mute or follow).

But I agree: if both mute and follow are true then probably mute should override the follow. We'll make it so.