[docs] [issue37205] time.perf_counter() is not system-wide on Windows, in disagreement with documentation