docs: def redirect(view=None, url=None, **kwargs):
      """Redirects to the specified view or url
      """
      if view:
          if url:
              kwargs["url"] = url
          url = flask.url_for(view, **kwargs)
      current_context.exit(flask.redirect(url))