docs: def append_url(base_url, path):
      """
      Append path to base_url in a sensible way.
      """
      if base_url[-1] != "/":
          base_url += "/"
      if path[0] == "/":
          path = path[1:]
      return urljoin(base_url, path)