docs: def SESSION_TIME(stats, info):
      """Total time of this session.
  
      Reports the time elapsed from the construction of the `Stats` object to
      this `submit()` call.
  
      This is a flag you can pass to `Stats.submit()`.
      """
      duration = time.time() - stats.started_time
      secs = int(duration)
      msecs = int((duration - secs) * 1000)
      info.append(('session_time', '%d.%d' % (secs, msecs)))