PaxosManager doc updates