Nope (on both accounts):

- the `<header>` provides no additional semantic benefit for the canonical HTML
- it is not styled using CSS (the only reference is a transitive one for defining the `.title` element
- HTMLBook (and TextbookHTML) do not include it