no, I pointed towards the joy of writing in a proper IDE. but to your point: overleaf is a key enabler of latex and its cool to see typst offers a similar route