Re: [firedrake] Slow compilation with fd_bendy