Reading introduction of W3C HTML5