chore: back-merge main into dev to clear v0.2.13 release-PR conflicts (#202)#203

Merged

w7-mgfcode merged 3 commits into

devfrom

chore/back-merge-main-into-dev

May 18, 2026

Commits on May 18, 2026

feat: cut v0.2.13 — explorer interactivity, knowledge & guide pages (#191) (#192)
w7-mgfcode
authored
chore(main): release 0.2.13 (#193)
w7-mgfcode
authored
chore(repo): back-merge main into dev to clear v0.2.13 release-PR conflicts (#202)
w7-mgfcode
committed