Okay thanks very much! I was just worried too because the only option is downloadable or html5, not both. So I’ll just choose html5 then, and it’ll work.
I guess when I first make a push using butler it will be downloadable. Then I have to change it manually for the build.
I might make a temporary, not released page to test first I guess. Then just delete it.