Re: [firedrake] Question about the efficiency of the Navier-Stokes solver in the Firedrake