Re: [firedrake] How to get mesh diameter