Remove unavailable VS Code distribution claims

[aallan]

Summary

• remove the VS Code Marketplace and VSIX installation sections from the extension README
• remove the changelog claim that 0.2.0 is the first Marketplace release

Installation from source remains the only documented method.

Why

Neither removed distribution method is currently available to users:

• veralang.vera-language has not been published because Marketplace upload is blocked by the issue tracked in VS Code Marketplace rejects extension as suspicious content #1106.
• The VSIX is a private GitHub Actions artifact, not a public end-user distribution.

These statements were added prematurely during release preparation. User-facing documentation and release notes must describe the current verified release state, not an anticipated state dependent on third-party publication.

Marketplace instructions and release notes should be added in a separate follow-up only after the listing is live and the exact installation flow has been tested. VSIX instructions should be added only if a public VSIX download is made available and tested.

Validation

• git diff --check
• repository-wide search confirms there are no remaining veralang.vera-language, vera-language-0.2.0.vsix, VS Code Marketplace, From VSIX, or code --install-extension claims
• npm run package:list

[coderabbitai]

📝 Walkthrough

Walkthrough

The VS Code README’s Installation section removes Marketplace and VSIX instructions, including their installation commands, and proceeds directly to the From source instructions.

Changes

VS Code installation documentation

Layer / File(s)	Summary
Simplify installation instructions editors/vscode/README.md	Removes the VS Code Marketplace and From VSIX subsections and their installation commands, leaving From source as the next installation method.

Estimated code review effort: 1 (Trivial) | ~2 minutes

Possibly related PRs

• aallan/vera#1105: Modifies the same VS Code README Installation section by removing overlapping Marketplace-related content.

🚥 Pre-merge checks | ✅ 8

✅ Passed checks (8 passed)

Check name	Status	Explanation
Docstring Coverage	✅ Passed	No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check.
Linked Issues check	✅ Passed	Check skipped because no linked issues were found for this pull request.
Out of Scope Changes check	✅ Passed	Check skipped because no linked issues were found for this pull request.
Changelog Covers Public-Surface Changes	✅ Passed	Only editors/vscode/README.md changed; no public-surface files were touched, so CHANGELOG coverage is not required.
Spec And Implementation Move Together	✅ Passed	Only editors/vscode/README.md changed; no files under vera/ or spec/ were modified, so there’s no spec/implementation drift.
Diagnostics Carry An Error Code	✅ Passed	Only editors/vscode/README.md changed; no diagnostic definitions or code paths were modified, so the code-check is not applicable.
Description Check	✅ Passed	Check skipped - CodeRabbit’s high-level summary is enabled.
Title check	✅ Passed	The title clearly reflects removing the unpublished Marketplace and VSIX installation claims from the VS Code README.

✨ Finishing Touches

📝 Generate docstrings

• Create stacked PR
• Commit on current branch

🧪 Generate unit tests (beta)

• Create PR with unit tests
• Commit unit tests in branch codex/remove-unavailable-vscode-installation

---

_{Comment @coderabbitai help to get the list of available commands.}

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 93.72%. Comparing base (d8692e8) to head (a4e70b2).
⚠️ Report is 3 commits behind head on main.

Additional details and impacted files

@@           Coverage Diff           @@
##             main    #1107   +/-   ##
=======================================
  Coverage   93.72%   93.72%           
=======================================
  Files          96       96           
  Lines       32708    32708           
  Branches      456      456           
=======================================
  Hits        30654    30654           
  Misses       2041     2041           
  Partials       13       13           

Flag	Coverage Δ
javascript	78.41% <ø> (ø)
python	95.48% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
• 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.