Modify the IDE installation instructions to prefer using the IDE's marketplace UI#341

Merged

jmacdotorg merged 3 commits intomainfrom

May 16, 2025

Commits on May 14, 2025

Modify the installation instructions to prefer
jmacdotorg
committed

Commits on May 15, 2025

Apply suggestions from code review

jmacdotorg
and
ankitjena
authored

Commits on May 16, 2025

Merge branch 'main' into install
jmacdotorg
authored