Export as a MIDI?

[CombustibleLemonyade]

Some Beatnik songs (For example, the WebTV Dialing Music) are structured in a way different from normal midis, I.E each instrument has an A variant, a B variant, etc, but midi players simply just play all the tracks at the same time. And some Beatnik songs are different file formats than midi. It would be very useful to have a way to export these to normal MIDI files

[zefie]

I am not sure this is possible in the code, but in the case of DialingWebTV, I do have a older, "unrolled" version, here:
DialingWebTV_unrolled.zip

[amrd24]

these kinds of midis are "rolled". there's an unroller available, here:

https://unroll.webtv.lol/