anchor.diff:    //- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
     replButton.click(() => {
       const div = $('<div>');
  -    const container = $('<div class="repl-box">');
  +    const container = $('<div id="repl-box">');
   
  -    div.append(container).dialog({
  +    /*div.append(container).dialog({
                 width: 700,
              autoOpen: true,
         closeOnEscape: true,
  
positive.code:     Terminal.applyAddon(fullscreen);
      Terminal.applyAddon(search);
      Terminal.applyAddon(winptyCompat);
      terminal.open(container); // container must be visible
      terminal.winptyCompatInit();
      terminal.fit();
      terminal.focus();
  
negative.code:   };
  
    SocketMonitor.prototype.close = function() {
      this.socket.close(1000, 'User closed the REPL');
    };
  
    //- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
  