Astronomers use time for at least two different thing. For recording the time of events and observations, astronomers usually use the julian day, and for that l

Astronomers use time for at least two different thing. For recording the time of events and observations, astronomers usually use the julian day, and for that leap seconds are a big pain. However, for precisely pointing a telescope without a viewfinder, you need the local sidereal time. The local sidereal time is fairly straightforward to (approximately) compute from UT1, the current date and your longitude. And leap seconds keep UTC within 1 second of UT1, so you can just use UTC. But, for the latter problem, a better solution would probably be to have a service similar to NTP, that gives the current Greenwhich sidereal time, rather than UTC. Then it could be corrected more often than the current leap seconds. That doesn't solve the problem for existing telescope systems though.