docs: static String getPathInfo(RequestLog requestLog) {
      String uri = requestLog.path();
      if (!StringUtils.hasText(uri)) return "/";
      return uri.replaceAll("//+", "/")
        .replaceAll("/$", "");
    }