I guess I'm not sure what you mean by where I downloaded a file from. I got
the ISO image of Ubuntu Studio from the main Ubuntu Studio page (or one of
its mirrors). The midi file was something I created.