           const infoElement = document.getElementById('benchmark-info');
            const hardwareInfo = infoElement.innerHTML.split('<br>')[0];
            infoElement.innerHTML = `${hardwareInfo}<br>Benchmark date: ${formattedDate}<br><a href="https://github.com/PetraProver/PetraVM/commit/89f29cf50c4a4fb5690f0da834065737a2da1574">Commit 89f29cf</a>`;
          }
          return response.json();
        })
        .then(data => {
          ops = data
            .filter(d => d.reason === 'benchmark-comp