No more DippaEditor, true LaTeX incoming