Update leader-election.html.markdown