diff --git a/docs/images/repl/regenerate.gif b/docs/images/repl/regenerate.gif new file mode 100644 index 0000000..ad798cc Binary files /dev/null and b/docs/images/repl/regenerate.gif differ