Re: [etoys-dev] Re: OT: Unicode vs ISO-2022-JP (was Re: Fonts)