Re: [firedrake] Normal to curved surface