There was a regression in PETSc on a problem I first reported in November 2024; they solve it through [this MR](https://gitlab.com/petsc/petsc/-/merge_requests/8284) and I packaged the release with this patch. - Petsc: 3.23.0 -> 3.23.0 commit 4eedc177