ide: replace 8 MB main-window GIF with an inline 833 KB MP4

Convert the IDE main-window screen recording (8.0 MB animated GIF) to an
H.264 MP4 (833 KB, ~9.6x smaller) embedded via sphinxcontrib-video as an
autoplaying, looping, muted, controls-free <video> -- same GIF-like behaviour,
far smaller. The file lands in _images/ so .ci/dedup_assets.py shares it across
language builds automatically. Keeps the framed class, alt text, and caption.

Adds sphinxcontrib-video to requirements + extensions.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

Author: kwagyeman

docs/conf.py

@@ -300,6 +300,9 @@ def _render_landing_code(src):
     "sphinx.ext.mathjax",
     "sphinx.ext.todo",
     "sphinx.ext.coverage",
+    # Inline, autoplaying <video> embeds (replaces heavy animated GIFs). Copies
+    # the source file into the build like an image, so it's deduped per channel.
+    "sphinxcontrib.video",
 ]
 
 # llms.txt / llms-full.txt is English source regardless of build language and

docs/openmvcam/tutorial/tools/ide/figures/main-window.gif

@@ -25,13 +25,16 @@ bottom edge reports what the connected camera is doing.
 You can collapse any pane when the script needs the
 room.
 
-.. figure:: figures/main-window.gif
+.. video:: figures/main-window.mp4
    :width: 100%
    :class: framed
+   :autoplay:
+   :loop:
+   :muted:
+   :playsinline:
+   :nocontrols:
    :alt: The OpenMV IDE main window with a camera connected and a script running: the script in the editor on the left, the frame buffer on the right tracking a person in live video
-
-   The main window with a script running: edit on the
-   left, watch on the right.
+   :caption: The main window with a script running: edit on the left, watch on the right.
 
 Keyboard shortcuts in this chapter are written for
 Windows and Linux; on macOS substitute ``Cmd`` for

docs/openmvcam/tutorial/tools/ide/figures/main-window.mp4

@@ -1,3 +1,4 @@
 sphinx>=7.2
 shibuya>=2024.0.0
 sphinx-llms-txt
+sphinxcontrib-video