[firedrake] pip nadgered