Given that sync_reset() clears the leader sync states as well (and we can now sync from anybody), this is a safe, conservative choice, but given the interfaces that have been described in what I'm seeing so far it shouldn't be necessary. Was this something you thought about, or did it happen by accident because sync_reset is for both followers and leaders?