Nah. Its common for astronomy to use GPS time and then apply the corrections from BIPM Circular T to get UT1. For sophisticated astronomy systems the eliminati

Nah. Its common for astronomy to use GPS time and then apply the corrections from BIPM Circular T to get UT1. For sophisticated astronomy systems the elimination of leap seconds should simplify and reduce a source of errors. As it is, since Circular T is against UTC you need to take your local source of time and worry if leap seconds have been correctly applied (apply leap seconds to gps time or make sure haven't been fed smeared NTP time or other horrors) before you can get UT1. Fairly casual astronomy, no-- but that isn't driving international standards, and there mechanical uncertainties dominate so you'll end up doing a 1-star correction in any case which immediately corrects the clock.