anchor.diff:    }
   
   });
  -
   //--></script>
   
   <button type="button"
  -        id="hotkeys-button">
  +          id="hotkeys-button">
     hotkeys
   </button>
  
positive.code: 
  <script type="text/javascript"><!--
  
  $(function() {
  
    const hotkeysButton = $('#hotkeys-button');
  
  
negative.code: 
    const tr = (key, what) => {
      return '<tr>' +
        `<td style="text-align:right;">${key}</td>` +
        '<td>&nbsp;:&nbsp;</td>' +
        `<td>${what}</td>` +
      '</tr>';
    };
  
  