The lists that uses ":" instead of - or * are called "definitions" in Djot and could be used for sections' properties.
By looking at the AST, it should be easy to parse it and in general convert between a structured data format like JSON and this one.
