docs: def make_path(*path_components):
      """
      Smash together the path components. Empty components will be ignored.
      """
      path_components = [quote(component) for component in path_components if component]
      path = '/'.join(path_components)
      if not path.startswith('/'):
          path = '/' + path
      return path