code: function gli_stream_dirty_file(str) {
      if (str.streaming)
          GlkOte.log('### gli_stream_dirty_file called for streaming file!');
      if (str.timer_id === null) {
          if (str.flush_func === null) {
              /* Bodge together a closure to act as a stream method. */
              str.flush_func = function() { gli_stream_flush_file(str); };
          }
          str.timer_id = setTimeout(str.flush_func, 10000);
      }
  }
docs: /* This is called on every write to a file stream. If a file is being
  written intermittently (a transcript file, for example) we'd like to
  flush the output every few seconds, in case the user closes the
  browser without closing the file ("script off").
  
  We do this by setting a ten-second timer (if there isn't one set already).
  The timer calls a flush method on the stream.
  
  (If autosave is on, we'll wind up flushing on most glk_select calls,
  which isn't quite as nicely paced. But it's a minor problem.)