Hello, thank you for your words
as for music import, I can say that it's not an easy task, because TIC-80 has its own sound system and it's hard to convert other formats into it
maybe, only notes can be imported