If set, the doctype element must specify html5.