I worked with him briefly on another project and he was pretty comfy and open about the whole thing. In fact I think I remember him mentioning doing a talk at a conference about it. He's a genuinely nice guy and fairly laid back about things. NK regime maybe is annoyed with him, but there is an almost zero probability of them being able to do anything other than digital harrassment to him.