docs: public ServletLimiterBuilder partitionByUserPrincipal(Function<Principal, String> principalToGroup) {
          return partitionResolver(request -> Optional.ofNullable(request.getUserPrincipal()).map(principalToGroup).orElse(null));
      }