diveintomark/diveintohtml5 — pull request #62 by hugovk (2013-10-03 12:54:35+00:00)
Title: Mark added <header> element, just like changed <h1> element

The changed

to

element is already marked. Do the same for the added

element.