Re: [NTG-context] Synonyms’ \infull doesn’t work anymore