hi! thanks for your question <3
it’s up to the makers of bitsy games whether they want to distribute the HTML page, .bitsy file, or both
it is possible to manually extract the bitsy game data from the HTML file, but not all games will work in bitsybox (for example if they use hacks)
there’s currently no conversion tool that I know of but it would be a cool project for anyone who is interested!