[petsc-users] PETSc / GAMG user counts