We wanted to export a platform-independent HTML5 version, but in the end our time ran out. We just managed to export for Linux and Windows, as these are our test-systems.
