I do have Pico-8 properly, but would it be alright to use the educational version for this?
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