Some experiments with tools for a reference manual#2305

Draft

jneem wants to merge 4 commits intomasterfrom

Commits on Jul 17, 2025

Checkpoint on reference
jneem
committed

Commits on Jul 18, 2025

Try out antora
jneem
committed

Commits on Jul 19, 2025

Enums, arrays, records
jneem
committed

Commits on Aug 1, 2025

Test out antora and mkdocs
jneem
committed