Mkdoc now generates valid HTML5