A little small, isn’t it?
It’s been noted in previous investigations of Red Star OS uses ip addresses, not domain names, for quite a few built ins - proxies, etc.
From the same leak and posted around the same time as OP (Jan 2015) there was an investigative blog post about Naenara specifically digging into networking.
On the HN discussion for that, I added that at a school I visited in 2013, end-users appear to navigate to private IPs directly (#1, #2) instead of utilizing domain names.
I’m curious whether disclosing the leak was caused by misconfiguration has costed some poor administrator his life. I’ve heard stories of people being executed for trivial things but at know almost nothing about North Korea.