anchor.diff:    //- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
     const createTerminalIn = (cssId) => {
       const terminalContainer = document.getElementById(cssId) ;
  -    const term = new Terminal({
  +    const terminal = new Terminal({
         cursorBlink: true, // optionElements.cursorBlink.checked,
         scrollback: 10, // parseInt(optionElements.scrollback.value, 10),
         tabStopWidth: 10 // parseInt(optionElements.tabstopwidth.value, 10)
  
positive.code:     Terminal.applyAddon(search);
      Terminal.applyAddon(winptyCompat);
      $(`#${cssId}`).show();
      term.open(terminalContainer);
      term.winptyCompatInit();
      term.fit();
      term.focus();
      return term;
    };
  
    //- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    const urlId = "<%= @kata.id %>";
    const replURL = 'http://' + location.hostname + '/repler/' + urlId;
    const socketURL = 'ws://' + location.hostname + '/repler_ws/' + urlId;
  
    const inGreen = (s) => {
      const greenCode = '\u001b[32m';
  
negative.code:       terminal.detach(that.socket);
        const NGINX_TIMEOUT_CODE = 1006;
        if (event.code === NGINX_TIMEOUT_CODE) {
          that.start(url, terminal);
        }
      };
  
  