Re: [firedrake] Trying to print discrete divergence