This makes the awkward withDoctype utility obsolete which is much nicer.
Technically, this is a BREAKING CHANGE since it was possible to create
valid documents without an <html> tag before:
withDoctype (lib.concatStrings [ (<head> { } …) (<body> { } …) ])
I don't think this usecase is worth preserving since this can just be
written as
<html> { } [ (<head> { } …) (<body> { } …) ]
and omitting the <html> tag is not recommended since it should be used
to set the language of the document (which we didn't in the example
above).
Change-Id: Idc5104ce88fe8bee965c076229b79387915c3605
Reviewed-on: https://cl.tvl.fyi/c/depot/+/12907
Autosubmit: sterni <sternenseemann@systemli.org>
Reviewed-by: sterni <sternenseemann@systemli.org>
Tested-by: BuildkiteCI
Reviewed-by: tazjin <tazjin@tvl.su>
