Hi, I am the developer of MiniLatex. Overleaf looks like a fantastic tool.