Is https://github.com/chenyu468/gen_leader_revival the "best" repo for a leader election behavior? Is there a better (more up-to-date) fork of this or some other implementation that we should consider instead? Thanks. Mark