= #13 review followup and cleanup,
most minor things addressed, a few are bigger todos
= #13 / #15 preparing for client impl; non-leaders now notify "the leader is X"