<div dir="ltr"><div><div>I am the new maintainer of the Racket mirror run by Infogroep and I noticed that due to reasons beyond my comprehension, the script that synced our mirror has vanished. As a result, our mirror is lagging behind.<br></div><br></div>We are moving servers soon, but I would like to bring the scripts up-to-date again as soon as possible. I'm currently in the process of manually adding the latest version, but was wondering if any other mirror maintainer could provide me with the necessary details to bring our mirror back up and running.<br><br>Thanks in advance.<br></div>