index.html: update last modified time