let exml_options_of_html_options (html_options : t_html_options) : t_exml_options = { quiet = html_options.quiet; numbering = html_options.numbering; allow_custom_numbering = html_options.allow_custom_numbering; tags = html_options.tags; }