docs: private static String prependSlash(final String path) {
          if (path.length() == 0 || path.charAt(0) != '/') {
              /* our path doesn't start with a slash, so we prepend it */
              return "/" + path;
          }
          return path;
      }