I think it is actually helpful to have a local mirrors.txt for back-fall when our web site is down or not reachable due to government censorship https://github.com/OpenRA/OpenRAWeb/pull/112.