I'm new to etcd. I've been looking into this example of using etcd for leader election. I'm a bit confused with what this example illustrates. It seems like a leader has to call Resign to concede the leadership to another agent participating the campaign. In the case of leader loosing network connection to etcd cluster, wouldn't this render the system as hanging because the old leader can not "give up" leadership, thus no new leader can win the campaign?