[html5] Add W3C HTML 5.0 spec.