Re: [firedrake] Divergent nonlinear solve