Fixup: reformat and reword consensus doc, fix some typos.