Question about converting midis

[miles]

I don’t remember seeing anything about midiss but it’s prompt to import .wav files. The link is It's Now Easier Than Ever to Import Audio to Makecode!