[Feature] Optionally export metrics for Prometheus

Feature Requests Closed or Out Of Scope
1

/metrics could export metrics in the prometheus.io format.

I am not familiar with Python, but there seems to be a library available.

2

Why did you mention Python? We only use it for CI tests, there is no python code in our code base.