Re: [NTG-context] naming of labels: Is »()« allowed?