Re: [math-fun] An end to leap seconds (was Re: SETI breakthrough: ...)