Re: [Python-Dev] PEP 418: rename time.monotonic() to time.steady()?