Re: [firedrake] calling firedrake in idle