KDE presents this as a series of png files on their site, which is less
convenient that assembling that into a PDF.  But we don't have
permission to distribute an assembled PDF, so instead we have a script
that lets a user take the png files and make their own PDF.