docs: rename principles page to 'Design principles'#101

Merged

vbreuss merged 2 commits into

mainfrom

docs/rename-principles-nav

Jul 8, 2026

Commits on Jul 8, 2026

docs: rename principles page to 'Design principles' with short sidebar label
vbreuss
committed
docs: rename principles page and slug to design-principles
vbreuss
committed