Allow <div> & script-supporting element in <dl>

> Content model:
>	Either: Zero or more groups each consisting of one or more dt elements followed by one or more dd elements, optionally intermixed with script-supporting elements.
> 	Or: One or more div elements, optionally intermixed with script-supporting elements.

— https://html.spec.whatwg.org/multipage/grouping-content.html#the-dl-element

Author: toastal

lib/html_types.mli

@@ -1429,9 +1429,9 @@ type dialog_attrib = [ | common | `Open ]
 (* NAME: div, KIND: star, TYPE: [= common ], [= flow5 ], [=`Div], ARG: [= flow5 ], ATTRIB:  OUT: [=`Div] *)
 type div = [ | `Div ]
 
-type div_content = [ | flow5 ]
+type div_content = [ | flow5 | `Dd | `Dt ]
 
-type div_content_fun = [ | flow5 ]
+type div_content_fun = [ | flow5 | `Dd | `Dt ]
 
 type div_attrib = [ | common ]
 
@@ -1482,9 +1482,9 @@ type dt_attrib = [ | common ]
 
 type dl = [ | `Dl ]
 
-type dl_content = [ | `Dt | `Dd ]
+type dl_content = [ | script_supporting | `Div | `Dd | `Dt ]
 
-type dl_content_fun = [ | `Dt | `Dd ]
+type dl_content_fun = [ | script_supporting | `Div | `Dd | `Dt ]
 
 type dl_attrib = [ | common ]