code: function isBoldBroken() {
      var el = document.createElement('span');
      el.innerHTML = 'hello world';
      document.body.appendChild(el);
      var w1 = el.scrollWidth;
      el.style.fontWeight = 'bold';
      var w2 = el.scrollWidth;
      document.body.removeChild(el);
      return w1 !== w2;
  }
docs: if bold is broken, we can't use it in the terminal.