Dex's play/index.js has diverged from Fred

Summary

cloud-function/src/internal/play/index.js in Dex has drifted from its upstream source, vendor/yari/libs/play/index.js in mdn/fred.

The file is vendored from Fred (which in turn vendors it from Yari), but there is currently no automation keeping it in sync, so the two copies have diverged.

Notable differences

• Fred uses @import JSDoc references for Theme / RunnerDefaults (pointing at Fred-internal paths), while Dex still inlines those typedefs.
• Fred threads a uuid (from the uuid query param) through the postMessage console-proxy calls; Dex does not.
• Minor formatting differences (trailing commas, unquoted attribute values, dropped @returns tags).

Proposed fix

Add a daily scheduled GitHub Actions workflow that fetches Fred's vendor/yari/libs/play/index.js, and opens a PR whenever it diverges from Dex's copy, so the two stay in sync automatically.

Compare cloud-function/src/internal/play/index.js with vendor/yari/libs/play/index.js and review the issue's listed differences first. Then check GitHub Actions scheduling and pull-request creation guidance. Done means a daily workflow detects divergence and opens a PR to update Dex's vendored copy.