docs HTML5 validity fixup to 8e2348e9eda51296eb680192379ab37f10355ca3