Add a comment that this is the same as `Time('1980-01-06 00:00:00', scale='utc').tai`.