Retrieval time in footer may be wrong

[PeterFeicht]

For some pages that are modified before preprocess_html_file is run on them, the retrieval time in the footer may be wrong because it shows the modification time of the file.