Yeah, I realized that when I saw that news later. Not sure about the DPRK explicitly sending out propaganda, but it makes sense the it would get pro-DPRK folks active