Re: [petsc-dev] Checkpoint-restart with DMPlex objects