This is theoretically merely annoying, but since we're using the XML vocab in
tons of places as an overenthusiastic HTML generator, and HTML5 technically
mandates that the first token needs to be `<!DOCTYPE html>` full-stop, this had
to get fixed.
M: doctype-decl write-xml
?indent "<!DOCTYPE " write
- [ name>> write bl ]
- [ external-id>> [ write-xml bl ] when* ]
- [ internal-subset>> write-internal-subset ">" write ] tri ;
+ [ name>> write ]
+ [ external-id>> [ bl write-xml ] when* ]
+ [ internal-subset>> [ bl write-internal-subset ] when* ] tri
+ ">" write ;
M: directive write-xml
"<!" write text>> write CHAR: > write1 nl ;