HyloDoc: Documentation Compiler for Hylo

TODO describe basic usage and capabilities of HyloDoc.

https://github.com/hylo-lang/hylodoc?tab=readme-ov-file

https://github.com/hylo-lang/hylodoc/blob/dev/project-report.pdf