       .then(response => {
          // Get the last modified date from the response headers
          const lastModified = response.headers.get('last-modified');
          if (lastModified) {
            const benchmarkDate = new Date(lastModified);
            const formattedDate = benchmarkDate.toLocaleDateString('en-US', {
              year: 'numeric',
              month: 'long',
              day: 'numeric'
            });

            // Update the benchmark info with the file's last modified date
 