Re: [petsc-users] PETSc / GAMG user counts