Re: [firedrake] PETSc install instructions update