Thank you so very much for the effort to elucidate the real problem hiding underneath the usual slew of Leap Second issues. I keep telling people to use TAI. I

Thank you so very much for the effort to elucidate the real problem hiding underneath the usual slew of Leap Second issues. I keep telling people to use TAI. I once contemplated writing kernel code to rebate internal clock stuff to TAI but at the end of the day it was not worth doing because I would have needed to build a completely new stack of things above the kernel to use it in order to avoid problems.