Videos: Play waits for driven videos, Development: 2004 checks (#404)

- Videos: Play holds the run at second 0 until every driven video has
  its first picture, at most 3 s. A driven video without a picture is
  not drawn.
- Development: 2004 editor checks.

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

Development.md

@@ -21,7 +21,7 @@ php tests/php/releases.test.php                               # the release stor
 php tests/php/files.test.php                                  # uploaded files in a folder per account (#344), the same way
 php tests/php/videos.test.php                                 # the video store, its queue and the worker (#402), with the
                                                               #   real ffmpeg: the CI image and game-maker-video have it
-node tools/seed-e2e.mjs && node tools/e2e.mjs                 # 2003 editor checks, screenshots in /tmp/gm-e2e-*.png
+node tools/seed-e2e.mjs && node tools/e2e.mjs                 # 2004 editor checks, screenshots in /tmp/gm-e2e-*.png
 GM_STEPS=20 node tools/e2e.mjs                                # or 1-12, or 6,20 — a subset while working on one step
 ./e2e.sh start [GM_STEPS]                                     # the same run detached, see below
 ./e2e.sh status                                               # live progress, or the last run's result

Videos.md

@@ -134,6 +134,10 @@ shader's parameters. Or one sprite whose Texture is keyed from clip to clip.
   its picture, not its plain colour
   while the video loads. Each one costs a player while it waits, so a cut with many clips
   holds many videos at once.
+- **Play waits for them:** the Game tab opens players of its own at Play. Until each of its driven
+  videos has its first picture, the run holds at second 0, for at most 3 s ("Loading the
+  videos..."). A released game waits the same way. A driven sprite without its picture is not
+  drawn at all, rather than in its plain colour.
 
 ## The worker