Repo for mirroring files so we don't have to deal with redirect shenanigans.