Hello, I am trying to get these metrics reported from our RaftGroup https://github.com/apache/ratis/blob/3247c7f2bd060029f93d4a94cef9224be3257fec/ratis-docs/src/site/markdown/metrics.md but I am not sure how to do that? Is the current best way to use MetricRegistries which will be loaded via ServiceLoader? I am having trouble with that approach because in my environment, I have a metric loader that is given to me when the service starts up which makes it hard to inject into a ServiceLoader paradigm. Is there another way to add metrics that I am unaware of?
Thanks, Sahith
