diff --git a/doc/demo.gif b/doc/demo.gif
new file mode 100644
index 0000000000000000000000000000000000000000..eabb68ce327d79c059a7bb55b0eaeae834c310f6
Binary files /dev/null and b/doc/demo.gif differ