paxos: add comments for learner