Re: [firedrake] Firedrake/DMPlex parallel restriction: one d.o.f. per process