also update the PDF for our pygment-deprived friend