docs: def play(quiet, session_file, shell, speed, prompt, commentecho):
      """Play a session file."""
      run(
          session_file.readlines(),
          shell=shell,
          speed=speed,
          quiet=quiet,
          test_mode=TESTING,
          prompt_template=prompt,
          commentecho=commentecho,
      )