[Koreangp] terminology: traditional Chinese chars?