They came from a DPRK tablet, and it took some reversing work to recover the PDFs. There's a talk about what went into getting them uploaded: https://media.ccc.de/v/34c3-9279-dprk_consumer_technology