> From the users' point of view does it matter if a section is a 'nav' or a 'div' which has CSS-class 'nav' assigned to it?
Yes.
There are people that use devices that rely on these accessibility options to differentiate nuances in the content that might otherwise be obvious when rendered in a standard browser: text only browsers, screen readers to name just a couple.
That's a good point and I think nav is a great idea, especially for maintenance reasons. Most users won't see the difference. But some will hear the difference.
Yes.
There are people that use devices that rely on these accessibility options to differentiate nuances in the content that might otherwise be obvious when rendered in a standard browser: text only browsers, screen readers to name just a couple.