Add HTML3.1 and HTML5 tags

Now think about how to document.