Diffgeom/Extensions