On 2023-03-20 19:36, Michael Deckers wrote: > This seems to be lenient enough to allow for not scheduling > a negative leap second even in the case that the difference > (UT1 - UTC) should go a bit below -1 s before 2035. > when he meant "a bit above +1 s" MD.