Re: [firedrake] Projecting a small piece of data set onto a larger one