Update modification time-stamp on index.html