Issue #1215: Pdf export: display the name of the exporter and the date when the document was exported, plus a warning that the report may have changed since