anchor.diff:    const replButton = $("#repl-button");
   
     cd.setupReplButton = (onOff) => {
  -    if (onOff === 'on') {
  +    if (onOff === 'on' || true) {
         replButton.show();
       }
     };
  
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:           f();
          }
        };
      };*/
  
      // container[0] must already be visible
      //const terminal = createTerminalIn(container[0]);
  
      const box = document.getElementById('repl-box');
      const terminal = createTerminalIn(box);
  
      createRepl(terminal).then(() => {
        const socket = new SocketMonitor(socketUrl, terminal);
  