Update off-chain parts of the specification to reflect the changes we did when trying to make snapshots more resilient.