"""Optional Prometheus metrics."""