anchor.diff:    //- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
     const createTerminalIn = (container) => {
       const terminal = new Terminal({
  -      cursorBlink: true, // optionElements.cursorBlink.checked,
  -      scrollback: 10, // parseInt(optionElements.scrollback.value, 10),
  -      tabStopWidth: 10 // parseInt(optionElements.tabstopwidth.value, 10)
  +      cursorBlink: true,
  +      scrollback: 10,
  +      tabStopWidth: 10
       });
       Terminal.applyAddon(attach);
       Terminal.applyAddon(fit);
  
positive.code:     return fetch(replUrl, requestParams);
    };
  
    //- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    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,
             autoOpen: true,
        closeOnEscape: true,
                modal: true,
                title: cd.dialogTitle('repl'),
              buttons: { close: () => shutDown() },
          beforeClose: event => {
            if (event.keyCode === $.ui.keyCode.ESCAPE) {
              shutDown();
              return true;
            }
          }
      });
      const terminal = createTerminalIn(container[0]); // must be visible
  
      createRepl(terminal).then(() => {
        socket = new SocketMonitor(socketUrl, terminal);
      });
  
      //destroyRepl(terminal).then(() => createRepl(terminal));
      //.then(() => terminal.writeln('Ready...'));
    });
  
    // TODO: Call destroyRepl() when the page closes.
  
  });
  </script>
  
negative.code:     return `${greenCode}${s}${resetCode}`;
    };
  
    const createRepl = (terminal) => {
      // Request that a REPL be created.
      // Returns the promise for the POST request.
  