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

[caugner]

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.

[caugner]

• Fred uses @import JSDoc references for Theme / RunnerDefaults (pointing at Fred-internal paths)

This will be tricky.

[globau]

There's a larger project here to simplify and automate the vendoring files and process.

For now we'll land a comment to each file as a reminder that they are vendored and extra care is required.