Why are they not using ghcjs? Wouldn't that work nicely with their existing infrastucture and codebase?
That's not to say it can't be used, in fact a lot do quite successfully, but it is a BIG increase in complexity.
I'm more hopeful for approaches such as WebGHC[0] or perhaps more promising, Tweags Asterius[1] :)