HTML: headers and diff