[petsc-dev] Sean is going to love this

In the past we've been not particularly supportive of getting PETSc in Linux package systems, in fact we've been a bit antagonistic. We should change this. Barry