It was an unofficial mirror, which was supposed to be shifted to MIRI hosting a few years back but the handoff wasn’t complete.
It was an unofficial mirror, which was supposed to be shifted to MIRI hosting a few years back but the handoff wasn’t complete.