Could this be turned into a plugin for Google Docs as well? It'd be handy to have a cloud-based LaTeX tool, as an alternative to a local-machine install.