Re: [NTG-context] \starttyping font changes when option=color