@sebastbake/music-tempo/docs/script/patch-for-local.js

Finding out tempo of the music

(function(){
  if (location.protocol === 'file:') {
    var elms = document.querySelectorAll('a[href="./"]');
    for (var i = 0; i < elms.length; i++) {
      elms[i].href = './index.html';
    }
  }
})();