[docs] [issue39135] time.get_clock_info() documentation still has 'clock' name