Re: [firedrake] using AuxiliaryOperatorPC in MG