of the extension module editor , [...] of the respective text list. The displayed text is read
as the texts from the text [...] Module" Now the editor [...] of the editor of the Light
: no, type: text [...] : no, type: text [...] : text MustBeSet :=
: no, type: text [...] : text Links := [...] by default using text list