GETINFO “current-time/{local,utc}” is unusable. They’re using C function gettimeofday. They just query the local system’s clock.
GETINFO “current-time/{local,utc}” is not using any time provided by the Tor network. The ticket discussion sounds too simple for that as well.