Did you know that North Korea has its own operating system ...