wgetというCLIのダウンロードツールは、HTTPサーバの返す「Last-Modified:」ヘッダをもとに、ダウンロードしたファイルの最終更新日時を設定する。 しかし、大部分のダウンロードツールやWebブラウザなどでは、ダウンロードしたファイルのタイムスタンプは、…