btrem[tantek]: regarding markup patterns, I think the point of <main> (though it has no real semantics, and is only "informative") is to mark the main content of the page (hence the name). So it appears to be intended to /not/ have <header> or <footer> inside.
