docs: @Nonnull
    public static String getPathWithinServlet (@Nonnull final HttpServletRequest aHttpRequest)
    {
      ValueEnforcer.notNull (aHttpRequest, "HttpRequest");
  
      final String sPathWithinApp = getPathWithinServletContext (aHttpRequest);
      final String sServletPath = ServletHelper.getRequestServletPath (aHttpRequest);
      if (sPathWithinApp.startsWith (sServletPath))
        return sPathWithinApp.substring (sServletPath.length ());
  
      // Special case: URI is different from servlet path.
      // Can happen e.g. with index page: URI="/", servletPath="/index.html"
      // Use servlet path in this case, as it indicates the actual target path.
      return sServletPath;
    }