<div dir="ltr"><div class="gmail_extra">Xiaodi:</div><div class="gmail_extra"><br></div><div class="gmail_extra">Thanks for the pointer. I&#39;ll catch up on the state of the PR before doing anything else.</div><div class="gmail_extra"><br></div><div class="gmail_extra">And yes, I should have written NFC rather than NFKC. Thanks for pointing out the error.</div><div class="gmail_extra"><br></div><div class="gmail_extra"><br></div><div class="gmail_extra">Jonathan</div></div>