[petsc-dev] No LocalToGlobalMapping in DMPlex