They probably use it mostly in Korean anyway so I don't think the English character rendering matters very much to them. After all they only have access to a na

They probably use it mostly in Korean anyway so I don't think the English character rendering matters very much to them. After all they only have access to a national "intranet" which will probably also be in Korean. Ps: yes a lot of assumptions here but it's North Korea :)