I can play a MIDI file from some web page using my Internet browser, but how can I download the MIDI file instead of hearing it?
For most browsers you can simply right-click on the link for the MIDI file and select the option like "Save as" or "Download."