A LaTeX document management system in Flask.