Do we need to tell PETSc that we're fiddling with its data in place?