Re: Mirror sites
GitHub (etc) has mirror sites as well: it stores content on CDNs, so it’s just not as immediately apparent upfront that you are still nevertheless downloading from somewhere internet-local to you, rather than from an actual named mirror site.