D.Trail: document semantics of Parametric GetSegment at segment junction
WIP (this commit will later be force-pushed into oblivion)