Re: [petsc-dev] [petsc-maint #69143] petsc-dev performance issues