Re: [NTG-context] Typing environment on non-ASCII