Checkpointing documentation.