That is a completely different story from my recollection. The whole, "You have been banned from /r/Pyongyang" thing was just a meme. I don't know of anyone who said they were actually cross-banned from there, and keep in mind, I was a mod of SubredditDrama during some of this time. To the best of my knowledge, it was just Reddit's usual repetition of an already worn-out sitewide joke. The only actual background I have heard about it from a journalistic source was that one of the mods was from Portugal or somewhere in Southern Europe. Looking at the modlist now, it's only got one mod whose name I don't recognize and I know there used to be at least five at one point.

I am pretty sure it's official, and if it's not, then it's run by some OG Juche Gang. It follows a hard line in any case, and while the mod(s) have always tolerated le Reddit memey joking in the comments, the irony levels are limited to positive statements about the Kims or the government. It's been run in that exact same way for years that I know of, which is another reason to think it might be official. If it's not official, then the mods have pretty consistently kept up the act for a very long time, whatever their intentions.