Re: [firedrake] Warning about number of OMP threads