docs: private static String filepath2URI(String path) {
      // return null if path is null.
      if (path == null) {
        return null;
      }
      path = escapeSpecialAsciiAndNonAscii(path);
      return path;
    }