"Scripta.io: no-config real-time editing and web publishing for MicroLaTeX, a cousin of LaTeX. Export to LaTeX and PDF."