/* const replaceLinks = () => { const links = document.querySelectorAll('.download a') for (let link of links) { let href = link.getAttribute('href') if (link.classList.contains('archive-link')) { href = 'https://dl.gitnet.fr' + href } else { href = href.replace('https://gitnet.fr', 'https://dl.gitnet.fr') } link.setAttribute('href', href) } } document.addEventListener("DOMContentLoaded", () => { replaceLinks() }) */