[petsc-announce] PETSc 3.25 release available