Re: [firedrake] Dirichlet BC on extruded mesh with discontinuous function space