Re: [firedrake] Problems with spud- Firedrake-fluids