Hacker News Reader

Their shell history shows them using OCR tools. AFAIK it doesn't show them using translation tools.

Actually KIM was also using Google Translate (discovered through his browsing history)

Fair, and appears I missed the first part "Use of Korean language".

The OCR still tells us more about the target than the actor, but I guess they are suggesting the choice of target itself is the indicator.