details should be a child

Dear WG,

The proposed design for the details element leverages //details/(dt[1] | dd[1]) elements, which I find clearly suboptimal. I suggest putting the optional details element (possibly even multiple) as a child of whatever can have details and having the details inside it.

Best regards,

Krzysztof Maczyński