Indeed, leap day, leap hour, leap minute, etc is a distinction without a difference because either way the solution is the same: do absolutely nothing and let f

Indeed, leap day, leap hour, leap minute, etc is a distinction without a difference because either way the solution is the same: do absolutely nothing and let future humanity decide how much drift it can tolerate.