GIFs were generated using charmbracelet/vhs (previously faressoft/terminalizer), then compressed at https://ezgif.com. Both light and dark modes are now supported and the appropriate variant of the GIF is selected automatically.
