Further progress on Connectedness: key lemma (truncatedness of ExtensionAlong) done modulo some PathGroupoids additions.