@typst@mastodon.social P.S. If you are reading this, you might be interested in https://mastodon.social/@typst/116211629201295367 by @thezoq2@mastodon.social