How should we treat the contents of <noscript>? #24
Description
In this example,
(html5-parser:parse-html5 "<noscript><p><b>Please turn on Javascript.</b></p></noscript>")
the noscript element's CHILD-NODES is this.
(#<HTML5-PARSER::TEXT-NODE "<p><b>Please turn on Javascript.</b></p>" {12A47249}>)
Why does cl-html5-parser choose to treat the child element as just text, instead of parsing them as html? It seems the Python html5lib takes an optional "scripting" argument that affects how noscript behaves.
What do you all (users, maintainers of the library) think about an option like this?