So this port isn't a straight WASM port, you're saying they're running the Windows binary and translating the DirectX8 graphic commands over to WebGL..? Am I understanding correctly?