Well, I did warn I was going to stop mirroring it...
In any case, I'm happy that archive.org decided to pick it up.