Just for completeness the html export issue is here: https://github.com/typst/typst/issues/721