/* Removed 2026-10-20: superseded by the cookie-free build. Intentionally empty. */