What is the binary that's downloaded? Just an exact copy of the TIC-80 executable? And same thing for Mac and Linux?
And what about HTML? The "htmllua" binary downloaded for that is only 343K. How do I make my own version of that?
Please consider changing this in the future. Honestly this is super disappointing to discover just now, almost 4 months into my project. There's no point in being able to customize the source code if it can't be used for exporting games.