list petsc-users before petsc-maint for interacting with PETSc community