Re: [firedrake] dimension with external mesh