> ultimately it just really doesn't matter. nav and div render exactly the same.

More precisely, they render the same in common visual user agents.

It turns out the semantics can be distinct for other kinds of user agents. Accessibility is one context that matters. Intermediate UAs like search engines are another. Maybe voice browsing is going to take off with virtual assistants.