With PDF style sheets, one can add things like page numbers and fixed text. It would be desirable to have a mechanism to insert the date on which the PDF export operation occurred.