Oh man, this is really cool. Great job. I'm the co-founder of http://SpanDeX.io (which I see someone already commented about) and we love seeing this kind of stuff. Great to see LaTeX getting implemented in a really useful way!