If embedded MIDI isn't working, use

    javascript:window.location = document.getElementById('toneframe').contentWindow.document.getElementsByTagName('embed')[0].src

To download the MIDI file directly.