`header` elements are typically used more for site-wide headers than the start of individual sections -- [MDN](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/header) describes it as containing "a group of introductory or navigational aids", which doesn't quite match this usage. It's probably up for interpretation though.