MDN states the following
The HTML
element represents introductory content, typically a group of introductory or navigational aids
The header in the code coop site doesn't contain the nav, which can be found in the main.
Is there a reason we did it this way?