Yeah, it looks like the godot HTML export requires a server to be run. This can be done with a python script, but I don't knwo how to make it all easy enough. Will hide the download for now to decide what to do with it