Sorry, the HTML export is broken (I thought there were incompatible browsers)... I've added the Windows and Linux exports.
Thank you!
