role="navigation" in navbars is redundant since they use <nav>?

Created by: cvrebert

All the navbars in the docs examples use <nav> rather than <div>, which I believe means that their role="navigation" attributes are redundant. So we might be able to remove the role="navigation"s and adjust this callout to advocate for using <nav>s as opposed to including role="navigation"s. CC: @patrickhlauke