This relates to https://github.com/w3c/i18n-activity/issues/385, which also asks what happens when Korean text is embedded in japanese or chinese.