Re: [firedrake] Log PETSc solver output to file