Ask HN: Could TeXmacs export and import to/from Overleaf constantly as you type?

Wouldn't this address the real-time collaboration problem between TeXmacs users and LaTeX users? P.S. TeXmacs isn't based on TeX (nor emacs) but it can export and import to/from LaTeX.