Re: [firedrake] Gathering D.O.F.s onto one process