Re: [NTG-context] \definehighlight with style=command problem