Re: [firedrake] cached kernels