Fix duplicate banner landmark: replace second <header> with <div> (#333). Fix #328, #328, #331 - #333
Merged
thibaudcolas merged 3 commits intoJul 3, 2026
<header> with <div> (#333). Fix #328, #328, #331 - #333