When installing the AstroTime, a warning is flagged saying that downloaded files are corrupted and to execute EarthOrientation.update(force = true). This still does not fix the issue as this error appears:

julia> EarthOrientation.update(force = true)
[ Info: Downloading file 'finals.csv' from 'https://datacenter.iers.org/data/csv/finals.all.csv' with cURL.
[ Info: Downloading file 'finals2000A.csv' from 'https://datacenter.iers.org/data/csv/finals2000A.all.csv' with cURL.
ERROR: BoundsError: attempt to access 19011-element Vector{Float64} at index [0]
Stacktrace:
[1] getindex(A::Vector{Float64}, i1::Int64)
@ Base ./essentials.jl:13
[2] EOParams(iau1980file::String, iau2000file::String)
@ EarthOrientation ~/.julia/packages/EarthOrientation/1ITdn/src/EarthOrientation.jl:161
[3] push!
@ ~/.julia/packages/OptionalData/sGxJ1/src/OptionalData.jl:98 [inlined]
[4] push!
@ ~/.julia/packages/OptionalData/sGxJ1/src/OptionalData.jl:101 [inlined]
[5] update(; force::Bool)
@ EarthOrientation ~/.julia/packages/EarthOrientation/1ITdn/src/EarthOrientation.jl:62
[6] top-level scope
@ REPL[8]:1

Any help on this would be appreciated as it means that we cannot use the AstroTime package for satellite propagation.