Re: [firedrake] Interfacing directly with PETSc