Did they take photos of their screen because it was running on a computer they didn't own or did they really have access to the ISOs (and for some reason didn't take screenshots)?
No idea. Could have been a visitor to North Korea who took photos on the tour (North Korea now does sort-of permit photos in certain areas to tourists).