Just a reminder, so we do not need to do something like #1693 every time.

EDIT: we may also want to consider more generally whether we really want to have this 3 MB file as part of the package, or whether there should be some automatic download upon first use of UT1 (or sidereal time or local coordinates).

EDIT: this now also applies to the built-in LeapSecond.dat file.