I found a Settings item to save a MIDI file. I turned it on, but don't see how or where the file can be saved. Help?