anchor.diff:  
     const hotkeysButton = $('#hotkeys-button');
   
  -  const hotkeysDialog = function() {
  -    var html = '';
  +  const hotkeysDialog = () => {
  +    let html = '';
       html += '<div id="hotkeys-dialog">';
       html += '<table>';
  -    html += tr('Alt-T', 'runs the tests');
  -    html += tr('Alt-O', 'moves to/from the output file');
       html += tr('Alt-J', 'cycles forwards through the source files');
       html += tr('Alt-K', 'cycles bakwards through the source files');
  +    html += tr('Alt-O', 'moves to/from the output file');
  +    html += tr('Alt-T', 'runs the tests');
       html += '</table>';
       html += '<hr/>';
       html += '<table>';
  
positive.code:       closeOnEscape: true,
                modal: true,
                title: cd.dialogTitle('hotkeys'),
              buttons: { close:
                function() {
                  $(this).remove();
                  cd.editorRefocus();
                }
              },
          beforeClose: function(event) {
            if (event.keyCode === $.ui.keyCode.ESCAPE) {
              $(this).remove();
              cd.editorRefocus();
              return true;
            }
  
negative.code:     });
    };
  
    const tr = (key, what) => {
      return '<tr>' +
        '<td style="text-align:right;">' + key + '</td>' +
        '<td>==</td>' +
  