You might also be interested in the writeup by the person who reverse-engineered the original dictionary file format: https://digitalnk.com/blog/2020/05/08/porting-north-korean-d...