What's New
o Other • perf ui-ux

Make the GitHub header button a link

NE @netchampfaris · #1225 · merged 29 Sep 2026

GitHub button in docs header now uses the href prop instead of the renamed link prop; link works correctly.