The example [listen] link points to a .mid file which some browser setups don't know how to handle (for instance, my Chromium simply downloads the file whenever

The example [listen] link points to a .mid file which some browser setups don't know how to handle (for instance, my Chromium simply downloads the file whenever I click the link, then downloads it again when I click the file in the bottom download bar). Please offer an example audio rendering in a media format which is more generally supported, thank you.