Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
With no annotations at all, the description carries the full burden; it does disclose that navigation happens inside the app's embedded WKWebView (not an external browser), which is genuinely useful scoping. It says nothing about what happens when there is no prior history entry, whether the call errors or no-ops, or what is returned.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.