2014-01-11: documented the change to the use of pdflatex