docs: def redirect(to, headers=None, status=302,
               content_type='text/html; charset=utf-8'):
      '''Abort execution and cause a 302 redirect (by default).
  
      :param to: path or fully qualified URL to redirect to
      :param headers: optional dict of headers to include in the new request
      :param status: status code (int) of the new request, defaults to 302
      :param content_type: the content type (string) of the response
      :returns: the redirecting Response
      '''
      headers = headers or {}
  
      # According to RFC 7231, a relative URI is now permitted.
      headers['Location'] = to
  
      return HTTPResponse(
          status=status,
          headers=headers,
          content_type=content_type)