[petsc-dev] Fwd: [petsc-maint #70591] Are the petsc4py directions current?