Re: [linux-audio-user] how to cut a midi file?