if you can export Mac/Linux just incase anyone is using another OS, that can work.
Now it's old but I know someone made an HTML5 module that you could use to export to HTML5.
