Re: [petsc-users] I want to quit PETSc users list