Redundant navigation roles and label #81
Description
Some <nav> elements have the redundant role="navigation" attribute, which can lead to bugs in some screen readers and/or browsers. Also, we are currently using aria-label="Docs header navigation", this means that screen readers are reading this section like "Docs header navigation, navigation landmark" (tested in NVDA).
This is a quick fix that I have a PR ready to publish.