2 commits

Author	SHA1	Message	Date
Robert Hensing	c92ba4b9b7	Add titles in JSON schemas ... This way, the description isn't rendered in the tables of contents, leading to no more formatting errors.	2025-10-17 21:53:29 +02:00
Robert Hensing	01b001d5ba	Add JSON Schema infrastructure, use for Derivation ... For manual, and testing formats	2025-10-16 17:24:18 -04:00