The latex demo has blown my mind! How did they do it? I can undesrstand running some shell in the browser, but the whole latex distro? Amazing...