Short and sweet (and a little bit disturbing, can I go home now?)
If you want, you can still extract the pico8 source code from the .js file you have still, with shrinko8
Thank you so much for this info! I'll look into it and start patching the issues
