[docs] Re: https://docs.python.org/3/library/timeit.html