gen_leader official repository

[Paolo Negri]

Dear list,

I'm evaluating a global process registry solution, searching in the
list archive it seems that gproc + gen_leader would be a good
candidate.
I'm trying to understand which one is the "best" version of gen_leader to use.

The most official source
http://ulf.wiger.net/weblog/my-erlang-projects points to
http://www.cs.chalmers.se/~hanssv/leader_election/ which is no longer
available.

The most updated repository I could find on github is
https://github.com/abecciu/gen_leader_revival

Is there any better version or a kind of official repository?

Kind Regards,

Paolo Negri