docs: default to IDE Extensions section and add favicon#12636
Merged
Mintlify / Mintlify Deployment
skipped
Jun 15, 2026 in 0s
Skipping deployment
No eligible deployments found for changes
Details
No changes to preview.
Loading