code: public MetricFilter metricsFilter() {
          if (id() == null) {
              return (name, metric) -> false;
          }
          return (name, metric) -> metricNames.contains(name);
  
      }
docs: The metric filter matching all metrics that have been registered by this pipeline.
  Commonly used to remove the relevant metrics from the registry upon deletion of the pipeline.
  
  @return the filter matching this pipeline's metrics