Re: [firedrake] view of underlying DMPlex?