ADD: NavigationCanceledException for navigation canceled by
NavPreprocessor.
ADD: Nav.toUri(String) for convenience.