sphinx-rtd-theme 2.0.0 declares that it is incompatible with sphinx 8.
As a result, with the old requirements-dev.txt, sphinx 8 and
sphinx-rtd-theme 0.mumble are installed, as sphinx-rtd-theme 0.mumble did
NOT declare an explicit incompatibility with sphinx 8.
This pairing emphatically does NOT work, giving the error
`UndefinedError("'style' is undefined")` during doc building.
For all these AWESOME packages, specify a dependency range.
This is sure to prevent future breakage 😉
due failure to mypy type-check with 8.1.4:
* https://github.com/pallets/click/issues/2558
8.1.4 works fine, but for purposes of running mypy during CI, pin
the version that also works with mypy.
.. fix the leap seconds in 1972, which are not in Bulletin A.
.. add the moment of the leap second to the `dut1table`
outut, which is otherwise confusing to intuit
.. allow processing a local copy of the finals2000A file, for quicker
turnaround when developing updateiers
