How can I export a song in MIDI file format?

Upto SoundHelix 0.4 it was not possible to export the generated songs in MIDI file format. A first version of this capability has been added to SoundHelix 0.5 as part of the MidiPlayer. The MidiPlayer documentation contains a description about how to enable the MIDI file export.