Improve Extensions Explorer#256

Merged

hendrikmennen merged 9 commits into

mainfrom

improve_extensions_explorer

Jul 13, 2026

Commits on Jun 29, 2026

Improve Extensions Explorer
NPK111
committed

Commits on Jul 3, 2026

Load more from the Package.json.
NPK111
committed

Commits on Jul 13, 2026

Merge branch 'main' into improve_extensions_explorer
hendrikmennen
committed