code: function setExtraText(line, text) {
      if (termExtraText[line] != text) {
        termExtraText[line] = text;
        updateTerminal();
      }
    }
docs: / Set extra text to display before a certain terminal line