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