The idea of publishing as an animation + Typst doc actually sounds pretty compelling… the old PDF format is starting to feel pretty stale