A small script to parse html files and generate a source image for img elements with a data-pdf-thumbnail-file attribute linking to a pdf file. The image is a view of the first page of the pdf. The ...