Thread:Extension talk:Score/.mid instead .midi

It seems that MIDI output is stored with an extension of .midi. I suggest to use the much more widely used extension .mid instead.