It's on the pico-8 BBS, so you could grab the original pico8 source that way in order to mess with it. Diving straight into the js transpiler output would not be much fun.
Yes and I want to embed it on my website because I'm want to make a video to tell people sodat they can download your game that is why I need the HTML file. Please help me.