anchor.diff:      // For some reason the hover-tip gets displayed behind
       // the file-diff.
       html += '<td>';
  -    html += "<div class='traffic-light-count " + lastColour + "'>";
  +    html += `<div class='traffic-light-count ${lastColour}'>`;
       html += trafficLightCount;
       html += '</div>';
       html += '</td>';
  
positive.code:           const halfSecond = 500;
            diffSheet.animate({
              scrollTop: '+=' + (section.offset().top - downFromTop) + 'px'
              }, halfSecond);
            sectionIndex += 1;
            sectionIndex %= sectionCount;
          }
  
negative.code:     $.each(tags, (_n, tag) => {
        const colour = tag.colour;
        const nowTag = tag.index;
        const barGap = (param.nowTag === nowTag) ? 'bar' : 'gap';
        html +=
          "<td><div class='diff-traffic-light'" +
                " data-tip='ajax:traffic_light'" +
                ` data-id='${param.id}'` +
                ` data-avatar-name='${param.avatar}'` +
                ` data-colour='${colour}'` +
                ` data-was-tag='${wasTag}'` +
                ` data-now-tag='${nowTag}'>` +
            "<img class='with-bar-gap' src='/images/bulb_" + colour + '_' + barGap + ".png'/>" +
          '</div></td>';
        wasTag = nowTag;
  