Issue #241: checkpoint in user guide docs and tests