Synchronize HTML and HTML/GZip files' modification time