Deprecate Gitpod

[Copilot]

Gitpod pivoted to Ona, providing a different AI service. Removed all Gitpod integration from the repository.

Technical

Configuration & Scripts

• Deleted .gitpod.yml workspace configuration
• Deleted scripts/setup_gitpod.sh setup script

Documentation

• Removed Gitpod badges and installation instructions from all README variants (English, Spanish, Vietnamese, Chinese)
• Removed Gitpod tip from docker/README.md

Code Changes

• vue.config.js: Removed Gitpod-specific devServer configuration with dynamic allowedHosts and WebSocket port overrides
• service-worker-matchers.js: Removed Gitpod URL filtering from cache matching logic
• code.py: Updated comment referencing Gitpod

Tests

• service-worker-matchers.test.js: Removed Gitpod URL test case

Net: 11 files, -91 lines

Testing

1. Verify no remaining Gitpod references: grep -ri gitpod
2. Confirm service worker matcher still excludes localhost URLs
3. Run existing test suite to verify no regressions

Screenshot

N/A - no UI changes

Stakeholders

@mekarpeles

Original prompt

---

This section details on the original issue you should resolve

<issue_title>Deprecate Gitpod</issue_title>
<issue_description>### Problem

Gitpod has pivoted to Ona, which provides a completely different AI service, TL;DR long live gitpod

We should deprecate all usages of Gitpod in our docs and, if necessary, create a separate issue for migrating to github codespaces (if deemed useful and our existing workflow is easily amenable)

Reproducing the bug

1. Go to ...
2. Do ...

• Expected behavior:
• Actual behavior:

Context

• Browser (Chrome, Safari, Firefox, etc):
• OS (Windows, Mac, etc):
• Logged in (Y/N):
• Environment (prod, dev, local): prod

Breakdown

Requirements Checklist

• [ ]

Related files

Stakeholders

---

Instructions for Contributors

• Please run these commands to ensure your repository is up to date before creating a new branch to work on this issue and each time after pushing code to Github, because the pre-commit bot may add commits to your PRs upstream.
  </issue_description>

Comments on the Issue (you are @copilot in this section)

@mekarpeles Can be closed when all docs no longer mention gitpod and any configs are removed; may be followed up with migration to github codespaces.

• Fixes Deprecate Gitpod #11306

---

💬 We'd love your input! Share your thoughts on Copilot coding agent in our 2 minute survey.

[jimchamp]

Noting that the fixes statement used by copilot will not be recognized by our PR auto-assignment script, despite the improvements made by #11554. Updating this regex to allow for an optional internet/archive string in the closes statement should correct this.