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