docs: public static String joinPaths(List<String> paths) {
  
          String result = listAsString(paths, "/");
          // result may now contain multiple consecutive slashes, so reduce them to single slashes
          result = PATTERN_SLASHES.matcher(result).replaceAll("/");
          return result;
      }