Re: [petsc-dev] including PETSc4py (and Tao4py) inside PETSc repository