Although PDF documents are known to simply host text and images, the file format can also run basic games, thanks to its support for JavaScript, according to a high school student named Allen who goes ...