Docs: get package names from purs graph#1309

Merged

f-f merged 9 commits intomasterfrom fix-package-names-in-docs

Jan 20, 2025

+417-476

Commits on Jan 19, 2025

Docs: get package names from purs graph instead of parsing modules
f-f
committed

Commits on Jan 20, 2025