Yeach, I also have tried it, and other tools like TeXmacs, Overleaf...

It just a toy project, and I want make it more meaningful and get more impressions.