Function navigation_document_url 

pub fn navigation_document_url(view: &ViewHandle, spec: &str) -> ViewHandle

Apply .navigationDocument(_:) with a URL.

The non-generic overload — URL is resilient, so it goes by address, and the optional the initialiser hands back is unwrapped by pointing past its tag: a .some payload starts at offset zero.