「トキ」や「ヒカル」といったコードネームは日本向けのみに設定されたものらしい
魔道祖師などでの日本人の反応からスタッフが学習したんかな？