Rename main headers

glopesdev · glopesdev · commit 608f64e8f209 · 2025-06-03T09:23:55.000+01:00
This is for consistency with single package doc websites.
diff --git a/toc.yml b/toc.yml
@@ -1,6 +1,6 @@
-- name: Manual
+- name: Documentation
   href: articles/
-- name: Reference
+- name: API
   href: api/
 - name: Tutorials
   href: tutorials/
