The leader election docs were scattered over 3 different locations
in the docs. Now leader election is configured in a single location.