Repository navigation

chore(links): use Docusaurus Link and Heading instead of raw HTML - #4825

Merged

thetaPC merged 2 commits into

mainfrom

docusaurus-link-heading

Nov 4, 2026

Merged

chore(links): use Docusaurus Link and Heading instead of raw HTML#4825
thetaPC merged 2 commits into
mainfrom
docusaurus-link-heading

Commits on Nov 4, 2026
- chore(links): use Docusaurus Link and Heading instead of raw HTML
  thetaPC
  committed
  cb0e081
- chore(links): use Link for the VS Code extension buttons
  thetaPC
  committed
  62dfcc9