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:       terminal.detach(that.socket);
        const NGINX_TIMEOUT_CODE = 1006;
        if (event.code === NGINX_TIMEOUT_CODE) {
          that.start(url, terminal);
        }
      };
  
negative.code:     return `${greenCode}${s}${resetCode}`;
    };
  
    const createRepl = (terminal) => {
      // Request that a REPL be created.
      // Returns the promise for the POST request.
  