Nice! Excited about HTML export. I used LaTeX for autogenerating some semi-legal documents in both PDF and HTML, so all editing happens on Github and Github Act

Nice! Excited about HTML export. I used LaTeX for autogenerating some semi-legal documents in both PDF and HTML, so all editing happens on Github and Github Actions do the rest for publishing PDFs and updating site. Started using Typst for some of these, but HTML export was a missing piece to completely switch to it.