Hmmmmm, o que será que os coreanos estão querendo dar a entender com o código fonte da página oficial da República Democrática Popular da Coreia?