docs: link to docs in language server page

[MarcoGorelli]

📝 Summary

The ty/basedpyright/pyright sections link to their docs, whereas for ty/pyrefly they link to the repos

A pyrefly dev suggested to me that they should link to https://pyrefly.org/en/docs/IDE-features/ so that there's the complete list of IDE features there

Closes #

🔍 Description of Changes

📋 Checklist

• I have read the contributor guidelines.
• For large changes, or changes that affect the public API: this change was discussed or approved through an issue, on Discord, or the community discussions (Please provide a link if applicable).
• Tests have been added for the changes made.
• Documentation has been updated where applicable, including docstrings for API changes.
• Pull request title is a good summary of the changes - it will be used in the release notes.

[vercel]

The latest updates on your projects. Learn more about Vercel for GitHub.

Project	Deployment	Actions	Updated (UTC)
marimo-docs	Ready	Preview, Comment	Mar 9, 2026 9:01am

[github-actions]

🚀 Development release published. You may be able to view the changes at https://marimo.app?v=0.20.5-dev24