HTML5 export is currently not working as expected... I will try to resolve this and update the uploaded files.