docs: def close_session_log(self):
          """Close the session_log file (if it is a file that we opened)."""
          if self.session_log is not None and self._session_log_close:
              self.session_log.close()
              self.session_log = None