@j3j5
Yeah not as far as I can tell. The mirrors on that site also seem to embed some mystery JavaScript payload from Baidu (that I can't actually get to load) so probably good to stick to the official mirrors. But a bot that checks for outages/changes in those would b good, since they probs will lose the .se one a few more times.
You could do a pretty low-fi scrape of it because they embed the list of mirrors as a series of link rel="alternate" in the header
@j3j5
Counterfeit mirrors, as olde as digital piracy itself