Thanks! I'm not quite sure why the HTML5 export lost audio unfortunately. I might have misconfigured something on export (I did it from Linux) or just hit a bug and didn't have time to figure it out. But thanks for playing, we had fun making it!
