Hi all, GitHub has a two-years-old mirror of PyPy: https://github.com/pypy/pypy . Nowadays that looks not only useless, but harmful. Would anyone with the proper priviledges disable, hide, or kill it? I can't do it myself apparently (or didn't find the correct button). A bientôt, Armin.