# Generated live during the demo: the audience must see it being born.
.py-sandboxes
.py-sandboxes.old*
# Recorded by `make -C gif-demo`, which rebuilds quick-demo.gif from it
gif-demo/*.cast
