docs: protected static String normalizePath (String path) {
      int pathLen;
      do {
        pathLen = path.length();
        path = path.replaceAll("[^/]+/\\.\\./", "");
      } while (path.length() != pathLen);
      return path;
    }