Further documentation improvements to Ledger Consensus.

These are David's comments to further improve RIPD-405.