[NTG-context] Re: weird character normalization in the wiki

Hi,

On 9 Mar 2024, at 09:35, Pablo Rodriguez via ntg-context wrote:

Sure, they may be a workaround to type codepoints instead of characters (such as with \utfchar{0x1fbb}, but wouln’t it be possible to disable that character normalization in the wiki?

AFAIK, Wikimedia’s Unicode normalisation can not be turned off. Best wishes, Taco