diff --git a/doc/images/command-palette.gif b/doc/images/command-palette.gif new file mode 100644 index 0000000000..60241c1bbc Binary files /dev/null and b/doc/images/command-palette.gif differ