I’m just using pico8. Everything you need to export to all those platforms are built into the system.
I see, many thanks!
