I heard about ignore_metrics configuration item which can be used to ignore or include specific Prometheus metrics, but cannot find any official documentation how to use it.