docs: public void addFilterExecutionSummary(String name, String status, long time) {
          StringBuilder sb = getFilterExecutionSummary();
          if (sb.length() > 0) sb.append(", ");
          sb.append(name).append('[').append(status).append(']').append('[').append(time).append("ms]");
      }