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
..
manual	Add titles in JSON schemas	2025-10-17 21:53:29 +02:00