oops this was useless, as it tracked the file touch date on disk, which might not be modification date on a fresh checkout
add last modified date to footer of each page