Add hyperlink for Paxos algorithm