Updated paxos.md.