If the educational version works for you, sure! The important part is that your music is in a form that PICO-8 devs can copy into their carts - whatever tools you find comfortable to use for that purpose are fine.
Awesome, just seeing if I can save some steps in the process
