The reason I didn't manage to resolve this note in the past few years is that it's ambiguous about how much of this path exists, and how much doesn't. So I think it's useful leave the note active until we figure that out better. 