anchor.diff:          }
       });
       const terminal = createTerminalIn(container[0]); // must be visible
  -    const socket = new SocketMonitor(socketUrl, terminal);
  -    const shutDown = () => { socket.close(); node.remove(); };
   
  -    destroyRepl(terminal)
  -      .then(() => createRepl(terminal));
  -      //.then(() => terminal.writeln('Ready...'));
  +    createRepl(terminal).then(() => {
  +      socket = new SocketMonitor(socketUrl, terminal);
  +    });
  +
  +    //destroyRepl(terminal).then(() => createRepl(terminal));
  +    //.then(() => terminal.writeln('Ready...'));
     });
   
     // TODO: Call destroyRepl() when the page closes.
  
positive.code:   const replButton = $("#repl-button");
  
    cd.setupReplButton = (onOff) => {
      if (onOff === 'on') {
        replButton.show();
      }
    };
  
negative.code:   replButton.click(() => {
      const node = $('<div>');
      const container = $('<div class="repl-box">');
  
      let socket = null; //new SocketMonitor(socketUrl, terminal);
      const shutDown = () => {
        if (socket !== null) { socket.close(); }
        node.remove();
      };
  
      node.append(container)
          .dialog({
                width: 700,
  