Infra: add pagefind search#4247

Merged

hugovk merged 17 commits intopython:mainfrom

miketheman:pagefind-search

Jan 24, 2026

Commits on Dec 29, 2025

Commits on Jan 5, 2026

Merge branch 'main' into pagefind-search
miketheman
authored

Commits on Jan 6, 2026

Merge branch 'main' into pagefind-search
miketheman
authored

Commits on Jan 20, 2026

Merge branch 'main' into pagefind-search
miketheman
authored

Commits on Jan 24, 2026

Merge branch 'main' into pagefind-search
miketheman
authored