infra: move developer-tools to top-level section#251

Merged

marc0olo merged 3 commits into

mainfrom

infra/developer-tools-section

May 18, 2026

Commits on May 18, 2026

infra: move developer-tools from references/ to its own top-level section
marc0olo
committed
infra: remove developer-tools cross-link from references index
marc0olo
committed
fix(infra): update developer-tools links in security guide after move
marc0olo
committed