[Pagination] Documentation suggests invalid HTML role="navigation"

[TimMoore]

The documentation for Pagination includes this example:

<ul class="pagination" role="navigation" aria-label="Pagination">

with this comment:

Note that the container has the attributes role="navigation" and aria-label="Pagination". These explain the purpose of the component to assistive technologies.

I noticed my IDE warning that "navigation" is not an acceptable value for the role element in this context. At first I thought this was a bug in the IDE, but more research confirmed this:

http://stackoverflow.com/a/14181478/29470 says:

<ul> has a default implied ARIA semantic of list, and may only validly be set to either directory, list, listbox, menu, menubar, presentation, tablist, toolbar or tree, so setting it to navigation is invalid and breaks the list semantic that the <ul> element has in the first two cases.

This can be confirmed in the HTML5 spec

Maybe it would be better to suggest wrapping the <ul> in a <nav> element instead.