Comment by danmur

I'm not sure why you wouldn't set up your own mirror regardless, it costs peanuts and it's much faster