Re: [firedrake] Firedrake/PyOP2 and GPUs